This project is under development and not ready for use.
A formatter/linter for Coq source.
$ opam install src/coq-vstyle.opam
$ coqformat --help$ cd src
/src$ dune build
/src$ dune exec ./coqformat.exe -- --help$ cd src
/src$ dune exec ./coqformat.exe -- ../examples/Foo.v$ cd src
/src$ dune build @fmt --auto-promote