pitmonticone/waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
JavaScriptLGPL-2.1
Watchers
No one’s watching this repository yet.
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
JavaScriptLGPL-2.1
No one’s watching this repository yet.