A prototype for displaying proofs on Smartphones
Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0
A prototype for reading proofs by scrolling, typically on your smartphone.
