#97 doesn't work for me anymore, due to an opam upgrade this morning. I don't know which version of coq and coq-hott it's supposed to work with. I currently have coq.8.11.1 and coq-hott.8.11 installed.
"Interpret to point failed: Error: Request coqtop/interpretToPoint failed unexpectedly without providing any details."
Sorry, the diagnosis was incorrect: I'd also pulled HoTT, which needed a rebuild.
It's possible to use vscoq with hoqtop ?
Yes, I'm using it successfully with #97.
I've been trying to get @Maxime Dénès to merge it into vscoq.
Last updated: Jan 30 2023 at 18:04 UTC