leftovers from snippetizing formal/prototype/elliptic_curve.mmt
I have further synchronized formal/prototype/elliptic_curve.mmt
with the informal sTeX formalizations and deleted the former. But there is still work to do.
- MMT theories without sTeX (#11)
- sTeX theories withoug MMT (#12)
- synchronization issues (#13)