ioreshnikov / coq_nvim Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ms-jpq/coq_nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
License: GNU General Public License v3.0