demoml/README.md

10 lines
385 B
Markdown
Raw Normal View History

2016-03-07 19:42:13 +01:00
#Démonstrateur automatique en Caml
Implémenté avec amour en Caml.
Je ne sais absolument plus l'utiliser (ça date de 2013) alors si quelqu'un sait, je l'autorise à s'acheter un Carambar.
Utilise le [système de Gentzen de calcul de séquent] (http://www.pps.univ-paris-diderot.fr/~kesner/enseignement/licence/logique/Gentzen-predicats-4.pdf).
Joie et bonheur sur vos familles.