Stream: math-comp users

Topic: ✔ How to use subtype mixins?


view this post on Zulip abab9579 (Aug 23 2022 at 11:26):

Wow, very interesting mechanics happening here.
Anyway, thank you again for all the helpful answers!!

view this post on Zulip Notification Bot (Aug 23 2022 at 11:26):

abab9579 has marked this topic as resolved.

view this post on Zulip Pierre Roux (Aug 23 2022 at 14:28):

The precise doc is there : https://github.com/coq/coq/blob/de96bfd67df02068c853155bd53264ad61ddab81/theories/ssr/ssrbool.v#L200-L220


Last updated: Feb 08 2023 at 04:04 UTC