/waterproof

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Primary LanguageJavaScriptGNU Lesser General Public License v2.1LGPL-2.1

Watchers