[HN Gopher] Show HN: MathLingua - A Structured Language of Mathe...
       ___________________________________________________________________
        
       Show HN: MathLingua - A Structured Language of Mathematics
        
       Author : CatsAreCool
       Score  : 3 points
       Date   : 2021-12-02 17:12 UTC (5 hours ago)
        
 (HTM) web link (www.mathlingua.org)
 (TXT) w3m dump (www.mathlingua.org)
        
       | CatsAreCool wrote:
       | 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.
        
       ___________________________________________________________________
       (page generated 2021-12-02 23:03 UTC)