Stream: Coq users

Topic: ✔ Not an arity for Inductive Type

view this post on Zulip João Mendes (Apr 23 2023 at 20:32):

Thanks for the answers! I'll try it to go on using a function instead of a inductively defined proposition

view this post on Zulip Notification Bot (Apr 23 2023 at 20:32):

João Mendes has marked this topic as resolved.

Last updated: Apr 16 2024 at 20:02 UTC