|
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 proving languages and has a different goal. See the documentation at www.mathlingua.org for more information. This post is a follow-up to https://news.ycombinator.com/item?id=23960662 and many changes have been made to MathLingua since that time based on the feedback from that post. In particular, since that time, I have added numerous improvements to the language to improve its usability, have drilled down on a particular use-case that I have documented more clearly, and have created a `mlg` command line tool to interact with the MathLingua language. In particular, using `mlg check` one can check their MathLingua documents for errors, with `mlg document` one can create a dynamic static site of their documents suitable to be shared on GitHub pages, and with `mlg edit`, an in-browser IDE is available to edit your MathLingua documents with live previews, auto-complete, etc. I really appreciate all of the feedback I received previously, and any and all feedback now is greatly appreciated. |