Contributions
Budget
Transparent and open finances.
-¥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
-$8.80 USD
Paid
↑ Total contributed
--.-- JPY
↓ Total received with expenses
¥28,948 JPY
About
Interest: Mathematical Logic (Modal Logic), Theorem Proving (Lean), Web Developing
Formalzed Formal Logic: https://opencollective.com/formalizedformallogic