The Lean Language Reference
1.
Introduction
2.
Elaboration and Compilation
3.
The Lean Language
4.
Terms
5.
Monads and
do
-Notation
6.
IO
7.
Tactic Proofs
8.
The Simplifier
9.
Basic Types
10.
Standard Library
11.
Notations and Macros
12.
Elan
13.
Lake and Reservoir
Index
13.
Â
Lake and Reservoir
13.1.
Lake
13.2.
Reservoir
13.2.
Â
Reservoir
13.2. Reservoir
Planned Content
Concepts
Package and toolchain versions
Tags and builds
Tracked at issue
#76