romulusFR / coq-examples

Quelques exemples en Coq pour les enseignements de logique

Geek Repo

Github PK Tool