vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
332 stars
14 watching
67 forks
Language: OCaml
last commit: 15 days ago
Linked from 1 awesome list
coqeditorvscodevscode-extensionvscodium