Index
Programming in Lean
1. Introduction
2. Types and Terms
3. Basic Programming
4. Monads
5. Writing Tactics
6. Writing Automation
PDF version
Lean Home
Quick search