Formalized Formal Logic
Fiscal Host: Open Source Collective
Formalizing Mathematical Logic in Lean Theorem Prover
Contribute
Become a financial contributor.
Financial Contributions
Budget
Transparent and open finances.
Debit from Formalized Formal Logic to SnO2WMaN •
-$1.68USD
Paid
-¥16,140 JPY
$106.89 USD
Paid
Cloudflare Domain for "formalizedformallogic.org"
Category
Hosting & Subscriptions
from SnO2WMaN to Formalized Formal Logic •
-$9.35 USD
Paid
$
Today’s balance$1,300.64 USD
Total raised
$1,492.76 USD
Total disbursed
$192.12 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