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: May 24 2024 at 21:01 UTC