palalansoukî

This is palalansoukî's page palalansoukî

Contributions

About

Interest: Logic (proof theory, bounded arithmetic), Theorem proving (Lean)

Collaborative, transparent, financial management tool

Change language

Platform

Home
Explore
About
Contact

Solutions

For Organizations
For Collectives

Resources

Help & Support
Documentation

Legal

Privacy policy
Terms of Service