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.

VSCode extension

Waterproof is available as an extension for VSCode.


Install the waterproof extension from the VSCode marketplace or from within VSCode.

Example screenshot of notebook