News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.