C

Coq en stock

Project information

Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.

5 Commits
1 Branch
0 Tags

README

Created on

September 21, 2021

Loading