Formalized Formal Logic

Formalizing Mathematical Logic in Lean Theorem Prover
Collective - Host: opensource - https://opencollective.com/formalizedformallogic - Website: https://formalizedformallogic.github.io/ - Code: https://github.com/formalizedformallogic

No issues found.