/interactive_theorem_proving_and_program_development

Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)

Primary LanguageCoqMIT LicenseMIT

Watchers

No one’s watching this repository yet.