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.	The `grind` tactic
18.	Basic Propositions
19.	Basic Types
20.	Dynamic Typing
21.	Standard Library
22.	Notations and Macros
23.	Run-Time Code
24.	Build Tools and Distribution
	Release Notes
	Index
	Progress

24. Build Tools and Distribution

24.1.	Lake
24.2.	Managing Toolchains with Elan
24.3.	Reservoir

24.3. Reservoir

Source Code
Report Issues

←24.2. Managing Toolchains with Elan Release Notes→

24.3. Reservoir🔗

Planned Content

Concepts
Package and toolchain versions
Tags and builds

Tracked at issue #76

←24.2. Managing Toolchains with Elan Release Notes→