Search OCaml packages
max) { row = max } }" @keyup.up="if (row !== null) { row -=1; if (row < 0) { row = null } }" @keyup.right="if (col < 1) col++" @keyup.left="if (col >= 1) col--" :aria-activedescendant="row !== null ? 'package-autocomplete-'+row+'-'+col : null" hx-get="/packages/autocomplete" hx-params="q" hx-trigger="keyup changed, search" hx-target="#header-search-results" hx-indicator="#header-search-indicator" autocomplete="off" >
Standard Library API
Learn
Tools
Packages
Community
News
Play
Get Started
Search OCaml packages
Learn
Tools
Packages
Community
News
Play
Standard Library API
Get started
Search OCaml packages
1 search result for "author:"e@x80.org""
Showing 1 - 1
coq-lsp
Documentation
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.2.0+8.20
LGPL-2.1-or-later
Used by 0 other packages
10 Sep 2024