Lean 総合スレッド (22ﾚｽ)
上下前次1-新

---

1: 2024/11/21(木)16:30 ID:f0B7SpBa(1) AAS
Lean 総合スレッド

---

2: 2024/11/21(木)17:16 ID:UM7SSSK3(1/3) AAS
Leen

---

3: 2024/11/21(木)17:16 ID:UM7SSSK3(2/3) AAS
Reen

---

4: 2024/11/21(木)17:41 ID:kV2krKdg(1) AAS
これは良いツールだ

---

5: 2024/11/21(木)18:08 ID:Bx74CtUo(1) AAS
theorem mp {p q: Prop}: p -> (p -> q) -> q :=
　fun hp: p =>
　　fun hpq: p -> q => hpq p

---

6: 2024/11/21(木)18:36 ID:LbV7eOsa(1) AAS
theorem comm_and {p q: Prop}: (p \and q) -> (q \and p) :=
　fun pq: (p \and q) => \< pq.right, pq.left \>

---

上下前次1-新書関写板覧索設栞歴

---

あと 16 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.003s