appliedfm / vstyle-tools

A formatter/linter for Coq source

vstyle-tools

This project is under development and not ready for use.

A formatter/linter for Coq source.

https://vstyle.readthedocs.io

Installing

$ opam install src/coq-vstyle.opam
$ coqformat --help

Building & running

$ cd src
/src$ dune build
/src$ dune exec ./coqformat.exe -- --help

Example

$ cd src
/src$ dune exec ./coqformat.exe -- ../examples/Foo.v

Formatting the source

$ cd src
/src$ dune build @fmt --auto-promote