Allow users to create and prove their own theorems #22
Description
Users should be able to
- create new objects
- add object properties (congruences, midpoints, etc.)
- remove new objects
- save theorems
- load theorems
{{ message }}
Users should be able to