Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).