Waterproof Editor abstracts rich formatting and input features from Waterproof into an npm package for reuse in educational software involving proof assistants or programming languages.
Number theory and axiomatic geometry in the D iproche system
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.HO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Waterproof Editor: an educational environment for proof assistants and programming languages
Waterproof Editor abstracts rich formatting and input features from Waterproof into an npm package for reuse in educational software involving proof assistants or programming languages.