Stream: Coq users

Topic: ✔ Nested sigT


view this post on Zulip Julin S (Jun 16 2022 at 07:07):

That worked as well. Thanks.

view this post on Zulip Julin S (Jun 16 2022 at 07:09):

Can have multiple values like Definition X'' : {'(a,b,c) & (a<b<c)}. as well.
Makes it concise and handy.

view this post on Zulip Notification Bot (Jun 16 2022 at 07:18):

Julin S has marked this topic as resolved.


Last updated: Jan 27 2023 at 01:03 UTC