Dedukti: A Universal Proof Checker
Résumé
Présentation du projet aux journées communes LTP (Langages, Types et Preuves) - LAC (Logique Algèbre et Calcul)
Origine : Fichiers produits par l'(les) auteur(s)