Code completion for Coq.

• coq-lsp

  1 129 9.1 OCaml

  Visual Studio Code Extension and Language Server Protocol for Coq

I don’t know of any. I see there’s a coq LSP in progress but still in very early stages.

• coquille

  2 185 0.0 Vim Script

  Interactive theorem proving with Coq in vim.

  

looked into it a bit more and found https://framagit.org/manu/coq-au-vim/tree/master and https://github.com/the-lambda-church/coquille . maybe one/both of those is good

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Coqtail

  2 251 6.9 Python

  Interactive Coq Proofs in Vim

I've looked at both of these before, but neither of them fit the bill. Both are used for interactive execution of Coq programs from inside Neovim (I already use https://github.com/whonore/Coqtail for that purpose), but neither provides code completion. Nonetheless, thank you so much for your help. Much appreciated.

Suggest a related project