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
3.
Â
The Lean Language
3.1.
Files
3.2.
Types
3.3.
Module Structure
3.4.
Axioms
3.5.
Recursive Definitions
3.6.
Type Classes
3.4.
Â
Axioms
3.4. Axioms
Planned Content
Describe
axioms
in detail
Tracked at issue
#78