gpo.zugaina.org

Search Portage & Overlays:

dev-util/coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

Screenshots

  • coq-lsp-0.1.9
    ~amd64
    ocamlopt test

    View      Download      Browse     License: LGPL-2.1   
    Overlay: guru

Runtime Dependencies

coq-lsp-0.1.9