Mechanized logic is transforming computer science. We are working to help make it happen. Find out more.

Image of a rooster Ben Hummitzsch on Unsplash

FM Growth

We are measuring the growth of formal methods in open source communities.

Read the Report

Image of a rooster Fabian Joy on Unsplash

vstyle: a style guide for Coq

Style is a highly visible property of open source software. It impacts most of the workflows involving source code. Good style improves productivity by accounting for those workflows. To bring the benefits of good style to the masses, we are working with the community to identify & document the best practices for open source projects in the Coq ecosystem.

Learn More