Style Guide for Coq

Published by applied.fm.

Note

This is a work in progress! We welcome feedback and pull requests. Find us on GitHub.

About

Code Style

Extraction Style

Project Style