Coq-Equations icon indicating copy to clipboard operation
Coq-Equations copied to clipboard

Published 20 hours ago • verified publisher icon mattam82

Potential Bug that crashes coqtop

Open Agnishom opened this issue 2 years ago • 0 comments

The bug can be reproduced by running the file Attempt1.v from this gist

It is not at all clear to me why this bug is happening. However, upon attempting to step over the last Defined in the definition, Coq crashes after about 20 seconds

Agnishom avatar Nov 23 '23 01:11 Agnishom