Stream: Coq users

Topic: ✔ What is the difference between ind-ind and mut-ind

Théo Winterhalter (Apr 12 2023 at 08:12):

With mutual inductive types you can only refer to the other inductive types, but with inductive inductive types you can also refer to the constructors.

Notification Bot (Apr 12 2023 at 08:26):

walker has marked this topic as resolved.

Notification Bot (Apr 12 2023 at 08:26):

walker has marked this topic as unresolved.

Notification Bot (Apr 12 2023 at 08:27):

walker has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC