Contributions
Budget
Transparent and open finances.
Payment to Upgrading GitHub Team
Category
Maintenance and Development
from SnO2WMaN to Formalized Formal Logic •
-$8.80 USD
Paid
↑ Total contributed
--.-- JPY
↓ Total received with expenses
¥1,403 JPY
About
Interest: Mathematical Logic (Modal Logic), Theorem Proving (Lean), Web Developing
Formalzed Formal Logic: https://opencollective.com/formalizedformallogic