issues
search
aconite-ac
/
theorem_proving_in_lean4
Theorem Proving in Lean 4 日本語訳
https://aconite-ac.github.io/theorem_proving_in_lean4_ja/
Apache License 2.0
10
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
各ページの右側に、ページ内目次を表示させる
#16
aconite-ac
opened
2 months ago
0
依存積型→依存和型
#15
Seasawher
closed
2 months ago
1
HMul のタイポ
#14
Seasawher
closed
2 months ago
1
match 文ではなくて式
#13
Seasawher
opened
7 months ago
1
「本家のどのcommitに基づいているか」をハッシュを用いて明示する
#12
aconite-ac
opened
7 months ago
0
本家の更新に追従する
#11
aconite-ac
opened
7 months ago
0
``True`` と ``true`` の混同・ ``False`` と ``false`` の混同
#10
aconite-ac
closed
7 months ago
0
「インスタンス」という言葉の使い方
#9
spinylobster
closed
7 months ago
1
Foo.add が抜けている
#8
Seasawher
closed
7 months ago
1
左結合性 → 左可換性
#7
Seasawher
closed
7 months ago
1
4 章 はじめの部分の誤訳について
#6
Seasawher
closed
7 months ago
1
false でなく False にする
#5
Seasawher
closed
7 months ago
1
3章 命題と証明 - Negation and Falsity の訳文について
#4
Seasawher
closed
7 months ago
0
目次をつける
#3
Seasawher
closed
9 months ago
0
日本語検索に対応させる
#2
Seasawher
closed
12 months ago
1
1章の翻訳を追加（DeepLを参考）
#1
haruhisa-enomoto
closed
1 year ago
1