Lean Example App Tutorial

This tutorial comes in eight parts. It assumes you know the basics of Lean first; if not, try at least the first chapter or so of its tutorial. Then continue here:

  1. Part 1: Marking Lean Code
  2. Part 2: Hiding Commands
  3. Part 3: Connecting Types to Terms
  4. Part 4: Definitions, Theorems, Proofs
  5. Part 5: Building Term Trees
  6. Part 6: Sections
  7. Part 7: Namespaces
  8. Part 8: Symbols

Or you can return to the repository.