Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Vscoq | 290 | 3 months ago | 101 | mit | OCaml | |||||
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade] | ||||||||||
Vscoq | 86 | 4 years ago | 59 | other | TypeScript | |||||
Coq Support for Visual Studio Code | ||||||||||
Coqpie | 8 | 6 months ago | 1 | mit | Coq | |||||
CoqPIE (an IDE for the Coq theorem prover + PEDANTIC) |