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: May 18 2024 at 10:02 UTC