https://github.com/appliedfm/vstyle-tools
A formatter/linter for Coq source
https://github.com/appliedfm/vstyle-tools
appliedfm coq formatter
Last synced: 11 months ago
JSON representation
A formatter/linter for Coq source
- Host: GitHub
- URL: https://github.com/appliedfm/vstyle-tools
- Owner: appliedfm
- License: mit
- Created: 2021-12-06T02:41:57.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2022-01-15T00:19:22.000Z (over 4 years ago)
- Last Synced: 2025-04-07T07:36:44.977Z (about 1 year ago)
- Topics: appliedfm, coq, formatter
- Language: OCaml
- Homepage: https://vstyle.readthedocs.io
- Size: 63.5 KB
- Stars: 14
- Watchers: 4
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# vstyle-tools
**This project is under development and not ready for use.**
A formatter/linter for Coq source.
https://vstyle.readthedocs.io
# Installing
```console
$ opam install src/coq-vstyle.opam
$ coqformat --help
```
# Building & running
```console
$ cd src
/src$ dune build
/src$ dune exec ./coqformat.exe -- --help
```
# Example
```console
$ cd src
/src$ dune exec ./coqformat.exe -- ../examples/Foo.v
```
# Formatting the source
```console
$ cd src
/src$ dune build @fmt --auto-promote
```