Stream: Coq users

Topic: ✔ Changing default names when using induction

view this post on Zulip Notification Bot (Apr 18 2023 at 17:42):

Fernando Chu has marked this topic as resolved.

view this post on Zulip Ali Caglayan (Apr 19 2023 at 07:25):

If you don't want to depend on autogenerated names, you can also check out the name mangling options.

Last updated: Oct 04 2023 at 23:01 UTC