romulusFR / coq-examples

Quelques exemples en Coq pour les enseignements de logique

coq-examples

Matériel supplémentaire en Coq pour les enseignements de logique et théorie des langaagesen licence informatique à l'UCBL. Finalement, un peu trop ambitieux pour les étudiants de L3.

Liens

• https://perso.liris.cnrs.fr/ecoquery/dokuwiki/doku.php?id=enseignement:logique:start
• https://perso.liris.cnrs.fr/sylvain.brandel/wiki/doku.php?id=ens:liflf