Mechanized logic is transforming computer science. We are working to help make it happen. Find out more.
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.