Stream: Coq users

Topic: ✔ Abstraction error in case analysis


view this post on Zulip Notification Bot (May 11 2022 at 06:33):

Patrick Nicodemus has marked this topic as resolved.

view this post on Zulip Patrick Nicodemus (May 11 2022 at 06:33):

i'll mark this resolved for now as making that change to the algorithm got me over the hump.


Last updated: Jan 27 2023 at 00:03 UTC