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!
To experiment with Waterproof, you can complete some exercises online:
Directly in the browser: Waterproof Aquarium
Install locally
The recommended way of using Waterproof is through the VSCode extension.
Install the waterproof extension from the VSCode marketplace or from within VSCode and follow the instructions there.
Get in touch
If you encounter any problems with Waterproof, want to request a feature, or just want to chat, feel free to join us on Zulip.
