Zulip Chat Archive
Stream: general
Topic: grammar of Lean
Kenny Lau (May 13 2020 at 16:00):
is there a specification of the grammar of Lean? For example, the one for Coq is here
Patrick Massot (May 13 2020 at 16:04):
Chapters 2 and 3 of https://leanprover.github.io/reference/index.html is the closest approximation I know
Last updated: May 02 2025 at 03:31 UTC