coq-waterproof
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
29 stars
3 watching
9 forks
Language: Coq
last commit: 12 days ago
Linked from 1 awesome list
coq-community/awesome-coq