Geeks
appliedfm
/
vstyle-tools
A formatter/linter for Coq source
Primary Language
OCaml
MIT License
MIT
vstyle-tools Home Page
vstyle-tools GitHub
Markdown
Readme
1
Issue
14
Stargazers
4
Watchers
Stargazers
chabulhwi
Semmalgil
clarus
Formal Land
GwenTinho
huynhtrankhanh
@coq-community
intoverflow
Seattle, WA
omasanori
Japan, or anywhere else
philzook58
Draper
PhotonQuantum
Shanghai Jiao Tong University
rinshankaihou
smondet
New York, NY
smorimoto
@ocaml @tc39
start974
Paris
unsoundsystem
Japan
whonore