Skip to content

Latest commit

 

History

History
34 lines (20 loc) · 1.59 KB

README.md

File metadata and controls

34 lines (20 loc) · 1.59 KB

vstyle: A style guide for Coq

Website Documentation Status

GitHub Contributing

The latest version can be viewed at vstyle.readthedocs.io.

Published by applied.fm. Hosted by readthedocs.org.

Project status

We are currently putting together a proposal for a community process to assemble content for the guide. This process will:

  • Establish & ratify the principles and goals for the guide
  • Establish an initial list of relevant topics and concerns
  • Collect and synthesize guidance from the community

There will be plenty of time & opportunity for all interested parties to participate.

Stay tuned to the usual Coq community channels for an announcement!

Coq Alectryon Sphinx readthedocs

applied.fm