pogin503
ここの運用について
HOME
2023年カレンダー
デジタル・ガーデン
Zettelkasten
自分用ページHOME
2024-05-19
ジャイナ教哲学にスィヤードヴァーダという論理学に関りがありそうなものがある
単射
Natural number game
三段論法
Lean
Lean 4
同型射
テンプレート
亜群(グルーポイド)
∞-グルーポイド
『Homotopy Type Theory Univalent Foundations of Mathematics』
定義・定理・公理・命題・補題・系