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
Related apps
coq-waterproof
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs
Coq30lgpl-3.0
13 days ago