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