Re:Show HN: MathLingua – A Structured Language of Mathematics
by crvdgc on Thursday December 02, 2021 @08:51PM
(#29425674)
This is great. You can easily look up a definition within a definition. No more context switching when trying to find Theorem 17.23, and then Definition 2.7.
[ Parent
| on HN ]
Re:Show HN: MathLingua – A Structured Language of Mathematics
by CatsAreCool on Thursday December 02, 2021 @09:42PM
(#29426055)
I’m glad you like it. One of the goals is to make discovering math easy and fun, in particular exploring theorems and definitions.