Intoduction
Formalized Formal Logic is aim to formalize some various results of mathematical logic in Lean Theorem Prover.
Document
Kites
Visualization for sublogic/subtheory relations.
Modal Logics
Propositional Logics
First-Order Arithmetics
Import Graph
Generated by import-graph
