Exprimer ses théories en Dedukti, le vérificateur de preuves universel

Présentation aux JFLA 2017