waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
38 stars
3 watching
5 forks
Language: JavaScript
last commit: 7 months ago
Linked from 1 awesome list
coqserapi
coq-community/awesome-coq