TODO

General System
--------------
- Make proofs print out in a readable way

GUI
---
- Fix issues with closing windows


Long-Term Additions
-------------------
- Smart (adaptive?) heuristics
- Central server of proofs
