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.
