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 mkl on Tuesday July 28, 2020 @04:09PM (#23980114)
What about the following, though?

  Theorem:
    for: x
      where: y
      then: z
    'some statement'
[ Parent | on HN ]

There are no comments on this comment yet.