Pierre Castéran's repositories
alectryonFix
A collection of tools for writing technical documents that mix Coq code and prose.
Language:HTMLMIT000
coqprime
Prime numbers for Coq
Language:CoqLGPL-2.1000
HydraDominique
Hercules wins in Coq
Language:CoqMPL-2.0000