Reviews
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.
Search similar apps
License
GNU Lesser General Public License v3.0
Related apps
waterproof
Waterproof is an educational environment for writing mathematical proofs in inte
JavaScript35lgpl-2.1
8 months ago
coqserapi