1 Search Results
coq-lsp
Language Server Protocol native server for Coq
Emilio Jesús Gallego Arias <e@x80.org>
Ali Caglayan <alizter@gmail.com>
Shachar Itzhaky <shachari@cs.technion.ac.il>
Ramkumar Ramachandra <r@artagnon.com>
0.1.3+v8.16
LGPL-2.1-or-later
Used by 0 other packages