Shea Levy (Oct 09 2020 at 16:44): Shea Levy (Oct 09 2020 at 16:44):Does flycheck not check _CoqProject? Is there any way to set up the import paths for flycheck? I have a -R in mine...
Paolo Giarrusso (Oct 09 2020 at 16:54):AFAIK, Proof General, company-coq and the spacemacs Coq layer (on the develop branch) understand _CoqProject...
Paolo Giarrusso (Oct 09 2020 at 16:55):Never tried flycheck, but if its docs don’t have an answer, I’d look at company-coq.
Paolo Giarrusso (Oct 09 2020 at 16:55):(Separately, you probably want -Q over -R)
Last updated: Oct 03 2023 at 20:01 UTC