Open Collective

SnO2WMaN

Logic, Theorem Proving

This is SnO2WMaN's pageSnO2WMaN
Contributions
Budget
About

Contributions

Budget

Transparent and open finances.

View all expenses  →

Payment for GitHub Org

Category
Hosting & Subscriptions
from SnO2WMaN to Formalized Formal Logic •
-$8.80 USD
Paid

Payment for GitHub Organization

Category
Maintenance and Development
from SnO2WMaN to Formalized Formal Logic •
-$8.80 USD
Paid

for GitHub Organization

Category
Maintenance and Development
from SnO2WMaN to Formalized Formal Logic •
-$8.80 USD
Paid
↑ Total contributed

--.-- JPY

↓ Total received with expenses

¥7,138 JPY

About

Interest: Mathematical Logic (Modal Logic), Theorem Proving (Lean), Web Developing