MMT theories without sTeX
There are quite a few MMT theories that do not have an informal counterpart these should be complemented. @pdehaye assign to me when this is done.
For some we have to think what is needed there, in particular the theory fnd.omf.mmt
, That may have to go to to some foundation space. @dennis, what do you think?
Another one is the toolchest theory elliptic-curve-toolchest.omf.mmt
, this is relatively general question.