FormalizedFormalLogic

Formalize Formal Logic in Lean4

Pinned Repositories

.github
Formalized Formal Logic
0 0 00
Arithmetization
Formalization of Arithmetization of Mathematics/Metamathematics
Language:Lean10 5 42
Book
Summary
Language:Markdown4 0 21
Foundation
Lean4 Logic Formalization
Language:Lean86 7 326
Incompleteness
Formalize Incompleness Theorem Related Results
Language:Lean6 0 30
LabelledSystem
Label-based Caliculi for Modal Logic
Language:Lean00
ModalLogicKite
Kite of Modal Logics
00
Summary
Documentation of this project
Language:Lean00

FormalizedFormalLogic's Repositories

FormalizedFormalLogic/Foundation
Lean4 Logic Formalization
Language:Lean86 7 326
FormalizedFormalLogic/Arithmetization
Formalization of Arithmetization of Mathematics/Metamathematics
Language:Lean10 5 42
FormalizedFormalLogic/Incompleteness
Formalize Incompleness Theorem Related Results
Language:Lean6 0 30
FormalizedFormalLogic/Book
Summary
Language:Markdown4 0 21
FormalizedFormalLogic/.github
Formalized Formal Logic
0 0 00
FormalizedFormalLogic/LabelledSystem
Label-based Caliculi for Modal Logic
Language:Lean00
FormalizedFormalLogic/ModalLogicKite
Kite of Modal Logics
00
FormalizedFormalLogic/Summary
Documentation of this project
Language:Lean00