Projects

vstyle: A style guide for Coq

• The latest version can be viewed at vstyle.readthedocs.io
• Project page on readthedocs.org
• Repo on GitHub

FM Growth

• The latest version can be viewed at growth.applied.fm
• Project page on readthedocs.org
• Repo on GitHub