Versions

Description

A style guide for Coq, published by applied.fm.

Repository

https://github.com/appliedfm/vstyle

Project Slug

vstyle

Last Built

2 years, 4 months ago passed

Maintainers

Home Page

https://github.com/appliedfm/vstyle

Badge

Tags

coq

Short URLs

vstyle.readthedocs.io
vstyle.rtfd.io

Default Version

latest

'latest' Version

main