News for hackers. Stuff that matters.

A comment on Show HN: MathLingua – A Structured Language of Mathematics.

Re:Show HN: MathLingua – A Structured Language of Mathematics by chriswarbo on Friday December 03, 2021 @04:20AM (#29428153)
Seems similar to http://openmath.org e.g. https://www.omdoc.org/about/ https://kwarc.info/systems/sTeX
[ Parent | on HN ]
Re:Show HN: MathLingua – A Structured Language of Mathematics by CatsAreCool on Friday December 03, 2021 @01:59PM (#29433745)
It 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.

[ Parent | on HN ]