←
Prev
↑
Up
Next
→
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.
The Type System
3.3.
Module Contents
3.4.
Axioms
3.5.
Recursive Definitions
3.6.
Type Classes
3.4.
Axioms
Source Code
Report Issues
3.4. Axioms
Planned Content
Describe
axioms
in detail
Tracked at issue
#78