jmikedupont2 / alec-is-not-coq-lsp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Alec-is-not-Coq
License: GNU Lesser General Public License v2.1