Palalansoukî's repositories
lean4-logic
Lean4 Logic Formalization
Arithmetization
Formalization of Arithmetization of Metamathematics
lean-logic
論理学
abstract-computability
部分組み合わせ代数
Computability
Untyped Lambda-Calculus
Language:CoqMIT000
lean-computable-complexity
計算可能性理論と計算複雑性理論
lean-qm
量子論理
Language:Lean000
mathlib4
The math library of Lean 4
Apache-2.0000
Language:Lean000