Intoduction
Formalized Formal Logic is aim to formalize some various results of mathematical logic in Lean Theorem Prover.
Document
Zoo
Lines represent subset relations of theories/logics. Solid lines are represent proper subset.
Arithmetic Theory Zoo
Modal Logic Zoo
Propositional Logic Zoo
Import Graph
Generated by import-graph
