Reviews
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
License
GNU Lesser General Public License v2.1
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Creator
Related apps
coq-waterproof
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs
Coq30lgpl-3.0
28 days ago