←
Prev
↑
Up
Next
→
The Lean Language Reference 日本語訳
1.
はじめに（Introduction）
2.
エラボレーションとコンパイル（Elaboration and Compilation）
3.
Lean 言語について（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.
Output from Lean
13.
Elan
14.
Lake and Reservoir
Index
15.
この翻訳について
3.
Lean 言語について（The Lean Language）
3.1.
ファイル（Files）
3.2.
型システム（The Type System）
3.3.
モジュールの内容（Module Contents）
3.4.
Axioms
3.5.
Recursive Definitions
3.6.
Attributes
3.7.
Type Classes
3.8.
Dynamic Typing
3.9.
Coercions
3.4.
Axioms
Source Code
Report Issues
3.4. Axioms
Planned Content
Describe
axioms
in detail
Tracked at issue
#78