tapfa-coq-alectryon

Liens directs

• https://pfitaxel.github.io/tapfa-coq-alectryon (→ supports .v et .html)
• https://github.com/erikmd/tapfa-init.el (→ tuto pour installer opam+Coq+PG)

Méta-données

• cours de Coq
• (converti en HTML par Alectryon et docker-coq-action)
• pour l'UE Types Abstraits et Programmation Fonctionnelle Avancée (TAPFA)
• à l'Université Toulouse III - Paul Sabatier

Auteurs

• Jean-Paul Bodeveix
• Érik Martin-Dorel
• Pierre Roux

Licence

Le contenu de ce dépôt est distribué sous licence MIT.