KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #ai-agents #developer-tools #codex #claude-code #mcp #rust #deepseek-harness #typescript #ai-agent #cli

vstyle

★ 18 Open GitHub ↗

A style guide for Coq

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# 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)

vstyle

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README