Pinned Repositories
Arithmetization
Formalization of Arithmetization of Mathematics/Metamathematics
Foundation
Lean4 Logic Formalization
Incompleteness
Formalize Incompleness Theorem Related Results
goedelgod
ゲーデルゴッド
lean-logic
論理学
lean-reducibility
計算理論
iehality's Repositories
iehality/lean-logic
論理学
iehality/goedelgod
ゲーデルゴッド
iehality/lean-reducibility
計算理論
iehality/abstract-computability
部分組み合わせ代数
iehality/Computability
Untyped Lambda-Calculus
iehality/FOPL
First-Order Predicate Logic
iehality/lean-computable-complexity
計算可能性理論と計算複雑性理論
iehality/lean-qm
量子論理
iehality/mathlib4
The math library of Lean 4
iehality/modallogic