C

Coq en stock

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