haoyang9804/interactive_theorem_proving_and_program_development
Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
CoqMIT
Watchers
No one’s watching this repository yet.
Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
CoqMIT
No one’s watching this repository yet.