The Lean Language Reference
The Lean Language Reference
Table of Contents
1.
Introduction
2.
Elaboration and Compilation
3.
Interacting with Lean
4.
The Type System
5.
Source Files and Modules
6.
Namespaces and Sections
7.
Definitions
8.
Axioms
9.
Attributes
10.
Terms
11.
Type Classes
12.
Coercions
13.
Tactic Proofs
14.
Functors, Monads and
do
-Notation
15.
IO
16.
The Simplifier
17.
Basic Propositions
18.
Basic Types
19.
Dynamic Typing
20.
Standard Library
21.
Notations and Macros
22.
Run-Time Code
23.
Build Tools and Distribution
Release Notes
Index
Progress
23.
Build Tools and Distribution
23.1.
Lake
23.2.
Managing Toolchains with Elan
23.3.
Reservoir
23.3.
Reservoir
Source Code
Report Issues
←
23.2. Managing Toolchains with Elan
Release Notes
→
23.3. Reservoir
🔗
Planned Content
Concepts
Package and toolchain versions
Tags and builds
Tracked at issue
#76
←
23.2. Managing Toolchains with Elan
Release Notes
→
