Infos tutoriel

Installer Coq (8.8 ou 8.9) : https://github.com/coq/coq/wiki



Pactole  Coq 8.8.2 : https://perso.liris.cnrs.fr/xavier.urbain/ens/pactole-Coq-8.8.2.tgz


Pactole  Coq 8.9.1 : https://perso.liris.cnrs.fr/xavier.urbain/ens/pactole-Coq-8.9.1.tgz


Pactole  sources : https://perso.liris.cnrs.fr/xavier.urbain/ens/pactole-src.tgz

 

 

Coq tutorial : tutorial.v


Pactole  tutorial : furethermore.v
Personnes connectées : 12