Stream: Coq users

Topic: ✔ Coq 8.19 -- assert failure in "kernel/cClosure.ml"


view this post on Zulip Jerome Hugues (Feb 22 2024 at 13:38):

Thanks, I'll try coq-bug-minimizer.

view this post on Zulip Notification Bot (Feb 22 2024 at 13:38):

Jerome Hugues has marked this topic as resolved.


Last updated: Jun 13 2024 at 21:01 UTC