My proofs for the Coq proof assistant
Primary LanguageCoqCreative Commons Zero v1.0 UniversalCC0-1.0
This repository is not active