Formalized Formal Logic
Fiscal Host: Open Source Collective
Formalizing Mathematical Logic in Lean Theorem Prover
Contribute
Become a financial contributor.
Financial Contributions
Formalized Formal Logic is all of us
Our contributors 6
Thank you for supporting Formalized Formal Logic.
Budget
Transparent and open finances.
+$70.00USD
Completed
Contribution #905583
Credit from rikitoro to Formalized Formal Logic •
+$5.00USD
Completed
Contribution #905385
Credit from pandaman64 to Formalized Formal Logic •
+$100.00USD
Completed
Contribution #902233
$
Today’s balance$590.38 USD
Total raised
$599.36 USD
Total disbursed
$8.98 USD
Estimated annual budget
$2,105.00 USD
Connect
Let’s get the ball rolling!
News from Formalized Formal Logic
Updates on our activities and progress.
Monthly Reports 2025/11
Published on December 20, 2025 by SnO2WMaN
Monthly Report 2025/10
Published on November 15, 2025 by SnO2WMaN
About
Formalized Formal Logic is focusing to formalizing various area of mathematical logic by Lean.
Currently including
Currently including
- Propositional Logic
- First-Order Logic, Arithmetic, Set Theory
- Modal Logic
- Provability Logic
- Interpretability Logic
Refer to more details on our main repository: https://github.com/FormalizedFormalLogic/Foundation
Our team
palalansoukî
Admin