recommend coq-lsp over vscoq

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

http://homotopytypetheory.org/

Other

1.23k stars 185 forks source link

recommend coq-lsp over vscoq #1996

Closed Alizter closed 3 weeks ago

Alizter commented 3 weeks ago

Users are free to use whichever editor they like, but I would recommend coq-lsp over vscoq due to the smoother experience for Coq-HoTT.

jdchristensen commented 3 weeks ago

LGTM. I don't use VSCode, but is it worth mentioning VSCoq as another option, with a warning that there might be issues?

Alizter commented 3 weeks ago

I've also added a link to Coq's list of editors where vscoq appears. I would rather keep the list here short and only consisting of recommended editors.