9/2/2025
•
EN
A Lean Syntax Primer
An opinionated syntax primer for the Lean programming language, covering definitions, types, and running code.