Coq_nvim vs Languageclient Neovim
| Languageclient Neovim | Coq_nvim | |
|---|---|---|
| Stars | 3,402 | 3,238 |
| Downloads | ||
| Dependent Packages | ||
| Dependent Repos | ||
| Most Recent Commit | 2 years ago | 4 months ago |
| Total Releases | 6 | |
| Latest Release | September 15, 2019 | |
| Open Issues | 109 | 150 |
| License | mit | gpl-3.0 |
| Programming Language | Rust | Python |