Formalized Formal Logic

All

11 repositories

Foundation
Public
Formalization of Mathematical Logic
logic lean4
Lean
•
Apache License 2.0
•11•197•54•21•Updated Jan 27, 2026Jan 27, 2026
formalizedformallogic.github.io
Public
0•0•0•0•Updated Jan 22, 2026Jan 22, 2026
GodExistence
Public
Gödel's Ontological Argument
Lean
•
Creative Commons Attribution 4.0 International
•0•1•0•0•Updated Jan 20, 2026Jan 20, 2026
Catalogue
Public
Catalogue of FFL
logic lean4
Lean
•
Apache License 2.0
•0•1•8•1•Updated Jan 9, 2026Jan 9, 2026
.github
Public
Formalized Formal Logic
0•0•0•0•Updated Jan 8, 2026Jan 8, 2026
Book
Public archive
Summary
logic
Markdown
•
Creative Commons Attribution 4.0 International
•1•5•2•2•Updated Jul 1, 2025Jul 1, 2025
Incompleteness
Public archive
Formalize Incompleness Theorem Related Results
logic incompleteness lean4
Lean
•
Apache License 2.0
•0•8•0•1•Updated Mar 8, 2025Mar 8, 2025
Arithmetization
Public archive
Formalization of Arithmetization of Mathematics/Metamathematics
logic lean4
Lean
•
Apache License 2.0
•2•13•0•0•Updated Mar 8, 2025Mar 8, 2025
LogicsKite
Public archive
Kites of Logics
logic lean4
Lean
•0•1•1•0•Updated Mar 8, 2025Mar 8, 2025
Summary
Public archive
Documentation of this project
Lean
•0•0•10•0•Updated Feb 2, 2025Feb 2, 2025
LabelledSystem
Public
Label-based Caliculi for Modal Logic
logic modal-logic sequent-calculus lean4
Lean
•
Apache License 2.0
•0•1•0•0•Updated Dec 19, 2024Dec 19, 2024