search

JetBrains-Research / coqpilot

VSCode extension that is designed to help automate writing of Coq proofs.
GNU Lesser General Public License v2.1
47 stars 2 forks source link

Wrong coq-lsp pin #40

Closed jasonrute closed 1 month ago

jasonrute commented 1 month ago

I think the right pin in the README should be:

opam pin add coq-lsp 0.1.8+8.19

(no .0 at the end)

Reference: https://github.com/ejgallego/coq-lsp/releases

K-dizzled commented 1 month ago

Thank you! Fixed