News for hackers. Stuff that matters.

A comment on Show HN: MathLingua – The Language of Mathematics. Parent comment

Re:Show HN: MathLingua – The Language of Mathematics by CatsAreCool on Sunday July 26, 2020 @11:16PM (#23961952)
It is already difficult to have a formalized math language with a level of formality that matches that found in papers.

The goal of MathLingua, at this time, is to match such a level of formality that is in math books and papers.

However, the syntax was designed to allow support for transpiling to a theorem proving language to be added at a later time. It is something, in the future, that I would like to do, if possible, but I don't have a time estimate if/when it will be available.

[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by xvilka on Monday July 27, 2020 @01:28AM (#23962463)
I recommend to check also Decucteam[1][2] projects, they also convert between different formats. Even as they focus on mathematical logic mostly, it still can be useful to check.

[1] http://deducteam.gforge.inria.fr

[2] https://github.com/Deducteam

[ Parent | on HN ]