What about the following, though? Theorem: for: x where: y then: z 'some stateme... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

mkl on July 28, 2020 | parent | context | favorite | on: Show HN: MathLingua – The Language of Mathematics

What about the following, though?

  Theorem:
    for: x
      where: y
      then: z
    'some statement'

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact