Mysaa/coq-en-stock
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
5cf6023f3aff8afa634c9289b4409b448ca2da8e
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

Coq en stock

Just des bouts de coq. Rien de plus.

Vraiment.

Reference in New Issue View Git Blame Copy Permalink
S
Description
Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.
Readme
49 KiB
Languages
Coq 100%