MathLingua
Languages and libraries
markup language for mathematics
SHOW HN2021
How HN took it
4 positive, 8 neutral or asking, 1 mixed, 1 critical, out of 14 comments about the project. Thread score +0.15.
Design: 3 for, 0 againstIdea: 1 for, 0 againstDocs: 0 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Clear visual structure and easy cross-referencing of definitions
From 3 comments
I come from a very practical engineering math background. I am really excited about this project because it makes it very clear how everything hangs together in a way that I…
clavalle on HNThis 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.
crvdgc on HNAwesome project: I love the fact that you can click grab definitions, would make learning new symbols in a field a breeze. Question, though: is there a way to add custom…
triclops200 on HN
Useful for learning new symbols and notation
From 1 comment
Awesome project: I love the fact that you can click grab definitions, would make learning new symbols in a field a breeze. Question, though: is there a way to add custom…
triclops200 on HN
Objections
Does not yet support reverse lookup from symbol to meanings
From 1 comment
I haven’t added a reverse lookup yet where you provide a symbol and can find all things that the symbol can represent, but it is on the roadmap.
CatsAreCool on HN
Screen reader output not yet implemented
From 1 comment
Great feedback. This is one of the areas that I designed MathLingua to help with. Every definition has a ‘written:’ section describing how to express the math idea on paper and a…
CatsAreCool on HN
Requests
Reverse lookup of symbols
From 1 comment
I haven’t added a reverse lookup yet where you provide a symbol and can find all things that the symbol can represent, but it is on the roadmap.
CatsAreCool on HN
Accessibility support for blind users
From 1 comment
Great project. BTW, I'm more and more interested in how to produce math for blind people. Although there is some recommendation about writring math in MathML, few (none?)…
silasdb on HN
Formal verification of definitions and theorems
From 1 comment
This is very similar to Isabelle's Isar [1], except that Isar definitions and theorems can be formally verified. MMathLingua has no doubt a much better presentation layer for…
robinzfc on HN
Questions
Can custom symbol definitions be added for field-specific notation?
From 1 comment
Awesome project: I love the fact that you can click grab definitions, would make learning new symbols in a field a breeze. Question, though: is there a way to add custom…
triclops200 on HN
Does it handle ambiguity and standardize expressions?
From 1 comment
Does this handle ambiguity in definitions/standardization of expressions? Like, if I define entropy H(q,p) with mesures q (X), p(X) and with mesures a (y),b(y) , can I use the…
igorkraw on HN
Alternatives named
Isabelle/Isar
From 1 comment
This is very similar to Isabelle's Isar [1], except that Isar definitions and theorems can be formally verified. MMathLingua has no doubt a much better presentation layer for…
robinzfc on HN
OpenMath / OMDoc / sTeX
From 1 comment
Seems similar to http://openmath.org e.g. https://www.omdoc.org/about/ https://kwarc.info/systems/sTeX
chriswarbo on HN
Lean
From 1 comment
The next natural step would be write down all theorems from kindergarten to undergrad and make them reproduciable with http://leanprover.github.io/
est on HN
Coq tactics language
From 1 comment
Oh my goodness, this is awesome. It's like the tactics language of Coq, but less irritating and pretty formatting. I will be recommending this to everyone!
tombert on HN
LaTeX
From 1 comment
This is the creator of MathLingua, a unique language for easily describing mathematical definitions, theorems, axioms, and conjectures. It is unique from LaTeX and theorem…
CatsAreCool on HN