Stream: Coq users

Topic: ✔ Proof without suitable constructor

view this post on Zulip Julin S (Apr 20 2023 at 03:13):

Thanks!

view this post on Zulip Notification Bot (Apr 20 2023 at 03:13):

Julin S has marked this topic as resolved.

view this post on Zulip Julin S (Apr 20 2023 at 03:27):

Now I'm wondering why I included a Foo type in the example.. It was redundant.. :woozy_face:

Last updated: Oct 13 2024 at 01:02 UTC