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.
[ Parent
| on HN ]
There are no comments on this comment yet.