Geeks
coq
/
vscoq
Visual Studio Code extension for Coq
Primary Language
OCaml
MIT License
MIT
vscoq GitHub
Markdown
Readme
375
Issues
350
Stargazers
14
Watchers
Watchers
4ever2
Denmark
Duckapple
@wikibusiness
Durbatuluk1701
@ku-sldg
eemailme
ejgallego
Inria
gares
@coq @math-comp @LPCIC
herrrickshaw
Delhi
jevinskie
Lafayette, Indiana
jhcloos
maximedenes
ppedrot
SkySkimmer
Inria
TheoWinterhalter
INRIA Saclay
thery
INRIA