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.
romulusFR/coq-examples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|