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) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Claire Medrala : Connectez-vous pour contacter le contributeur
https://minesparis-psl.hal.science/hal-01537578
Soumis le : lundi 12 juin 2017-16:20:45
Dernière modification le : vendredi 19 avril 2024-16:18:57