Prove2Me Foundation supports the effort to formally verify as much mathematical knowledge as possible using the site prove2.me. By enabling collaboration across humans and machines, we are growing a reusable, open-source network of all known mathematical statements and proofs.

We are a not-for-profit organization and currently looking for funding. To get in touch, please email Kunal Marwaha at marwahaha (at) berkeley (dot) edu.

EIN #43-2222974 (tax-exempt status pending)