4 ms·
Seems similar to http://openmath.org http://openmath.org e.g. https://www.omdoc.org/about/ https://www.omdoc.org/about/ https://kwarc.info/systems/sTeX https://
by chriswarbo 5y ago
Seems similar to http://openmath.org http://openmath.org e.g. https://www.omdoc.org/about/ https://www.omdoc.org/about/ https://kwarc.info/systems/sTeX https://kwarc.info/systems/sTeX
- CatsAreCool 5y agoIt is similar. However, where omdoc seems to focus on storing math concepts in a precise way, it’s focus doesn’t appear to be on easily hand writing concepts in that format. MathLingua, on the other hand, focuses on being precise and easy to read and write in its raw form.