This repository has been archived by the owner on Apr 3, 2024. It is now read-only.

Show proof texts! #9

Open

NonlinearFruit opened this issue Sep 19, 2020 · 0 comments

Owner

NonlinearFruit commented Sep 19, 2020

Figure out how to optionally display proof texts when the document has an option for it and the user wants to see them

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.