Waterproof
An educational tool for proving mathematical statements!
Learn to prove mathematical statements. Immediate feedback.
Waterproof is educational software designed to help students with learning the skill of proving mathematical statements.
Try it out!
Complete some exercises online:
VSCode extension
Waterproof can be used in VSCode.
Installation
Install the waterproof extension from the VSCode marketplace or from within VSCode.
