https://github.com/appliedfm/vstyle

A style guide for Coq
https://github.com/appliedfm/vstyle

appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification

Last synced: 3 months ago
JSON representation

A style guide for Coq

• Host: GitHub
• URL: https://github.com/appliedfm/vstyle
• Owner: appliedfm
• License: mit
• Created: 2021-11-25T06:26:07.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-11-30T20:53:58.000Z (over 3 years ago)
• Last Synced: 2025-01-31T07:51:28.234Z (3 months ago)
• Topics: appliedfm, c, coq, dependent-types, formal-mathematics, formal-methods, formal-proofs, formal-semantics, formal-specification, formal-verification, haskell, ocaml, proof, proof-assistant, software-engineering, style-guide, verification
• Homepage: https://vstyle.readthedocs.io
• Size: 646 KB
• Stars: 17
• Watchers: 1
• Forks: 0
• Open Issues: 8
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
# vstyle: A style guide for Coq

![Website](https://img.shields.io/website?url=https%3A%2F%2Fvstyle.readthedocs.io)

![Documentation Status](https://readthedocs.org/projects/vstyle/badge/?version=latest)

![GitHub](https://img.shields.io/github/license/appliedfm/vstyle)

[![Contributing](https://img.shields.io/badge/-contribute-success.svg)](https://github.com/appliedfm/vstyle/blob/main/CONTRIBUTING.md)

The latest version can be viewed at [vstyle.readthedocs.io](https://vstyle.readthedocs.io).

Published by [applied.fm](https://applied.fm). Hosted by [readthedocs.org](https://readthedocs.org/projects/vstyle/).

# 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](https://vstyle.readthedocs.io/en/latest/project_structure.html#announcements) for an announcement!

#

[![Coq](https://img.shields.io/badge/-Coq-royalblue)](https://github.com/coq/coq)

[![Alectryon](https://img.shields.io/badge/-Alectryon-orangered)](https://github.com/cpitclaudel/alectryon/)

[![Sphinx](https://img.shields.io/badge/-Sphinx-navy)](https://www.sphinx-doc.org)

[![readthedocs](https://img.shields.io/badge/-readthedocs-slateblue)](https://readthedocs.org)

[![applied.fm](https://img.shields.io/badge/-applied.fm-orchid)](https://applied.fm)