James-Oswald/ars-logicae

WIP Formalization and relations of many types of logic in Lean4

Lean