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: Jun 18 2024 at 23:01 UTC