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.
VSCode extension
Waterproof is available as an extension for VSCode.
Installation
Install the waterproof extension from the VSCode marketplace or from within VSCode.