Info Tutorial

Coq (8.8 or 8.9) installation: 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
Online user: 13