Exprimer ses théories en Dedukti, le vérificateur de preuves universel
Présentation aux
JFLA 2017
Transparents
(
.tex
)
Exemples présentés