Learn to prove mathematical statements. Immediate feedback.

Waterproof is educational software designed to help students with learning the skill of proving mathematical statements.