pfitaxel / ilu3-coq-alectryon Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Supports de Cours de l'UE ILU3 - partie Coq - compilés avec l'outil Alectryon

pfitaxel.github.io/ilu3-coq-alectryon

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
.github/workflows		.github/workflows
src		src
static		static
.gitignore		.gitignore
AUTHORS		AUTHORS
LICENSE		LICENSE
README.md		README.md
docutils.conf		docutils.conf

Repository files navigation

ilu3-coq-alectryon

Liens directs

https://pfitaxel.github.io/ilu3-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 ILU3
à l'Université Toulouse III - Paul Sabatier

Auteurs

Licence

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

About

Supports de Cours de l'UE ILU3 - partie Coq - compilés avec l'outil Alectryon

pfitaxel.github.io/ilu3-coq-alectryon

Custom properties

Report repository

Contributors 4

Languages

Coq 95.4%
HTML 4.0%
Other 0.6%