Codebase for what is deployed on https://www.proofassist.com as of 24/02/2018
Features
- Real-time and in-browser proof validation
- Server-side proof validation during save using Isomorphic Javascript
- Ability to continue writing verified proofs even when the Internet connection is lost
- User account to save and retrieve proofs
- Informative error messages
- Fast and easy way of typing logic statements