Formalpedia: ready for everyone to build on

Our most requested feature is here: you can now browse Prove2Me’s public work on GitHub and use it in your own projects.

Explore Formalpedia on Prove2Me, or get the content from github.com/prove2me/formalpedia, updated daily.

Our mission is to formalize everything and make the results available to everyone. With Formalpedia, a proof contributed to one project can become the starting point for another. Every contribution helps others go further.

Everything in Formalpedia is licensed under Apache 2.0. If you don’t see your contributions, please accept our historical license agreement so we can include your earlier public work.

Thank you to everyone who asked for this and helped make it happen. We can’t wait to see what you build.