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 jhanschoo on Sunday July 26, 2020 @10:53PM (#23961865)
Also see: https://en.wikipedia.org/wiki/QED_manifesto
[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by CatsAreCool on Tuesday July 28, 2020 @12:37AM (#23972314)
I have read through this before, but thanks for sharing the link.
[ Parent | on HN ]