Leanプロジェクト
#Lean
のLeanプロジェクトの一覧
iehality/abstract-computability
部分組み合わせ代数
の形式化
開発停止中
iehality/lean-qm
基礎的な
量子力学
及び
量子論理
の形式化
開発停止中
iehality/goedelgod
ゲーデルの神の存在定理の形式化を試みたもの
ゲーデルの神の存在証明を証明する
iehality/lean-computable-complexity
計算複雑性理論
の形式化を試みたもの
開発停止中だが, いずれLean4で書き直したい
iehality/lean-reducibility
計算可能性理論
及び
Iterated trees of strategies
の形式化
開発停止中だが, いずれLean4で書き直したい
iehality/lean-logic
論理学
, とくに
1階論理
の形式化
lean4-logic
で書き直しているが, まだ移植は完璧でない
lean4-logic
論理学
, とくに
1階論理
の形式化