I'm trying to compile a CoFixpoint proof and when I try to step over the
Qed I get
Error: Anomaly "File "interp/impargs.ml", line 378, characters 15-21: Assertion failed."
My collaborator on this project doesn't seem to get the same error. Any suggestions?
What is your coq version?
coqtop --version gives me
The Coq Proof Assistant, version 8.13.2 (April 2021) compiled on Apr 1 2021 17:50:25 with OCaml 4.12.0
Is your collaborator using the same version? Also would you be able to reproduce the error in coqide and pass
-bt so that we can get an ocaml backtrace, and get a better idea of whats going on.
Last updated: Feb 04 2023 at 21:02 UTC