Stream: Coq users

Topic: ✔ Nested sigT

Julin S (Jun 16 2022 at 07:07):

That worked as well. Thanks.

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.

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