Stream: Coq devs & plugin devs

Topic: ✔ Not the right number of induction arguments


view this post on Zulip Jason Gross (Apr 11 2023 at 03:48):

What does "Not the right number of induction arguments" mean? (Is induction just broken in the face of induction schemes that make use of non-uniform parameters?)

view this post on Zulip Jason Gross (Apr 11 2023 at 03:56):

Ah, I guess I need do do induction foo using (@rect), not induction foo using (@rect <parameters>)

view this post on Zulip Notification Bot (Apr 11 2023 at 03:56):

Jason Gross has marked this topic as resolved.


Last updated: Jul 13 2024 at 03:01 UTC