Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
-
Notifications
You must be signed in to change notification settings - Fork 1
Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
License
vishallama/interactive_theorem_proving_and_program_development
About
Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published