Stream: Coq users

Topic: ✔ Complicated dependent types

view this post on Zulip Jake (Oct 13 2022 at 12:30):

That looks like exactly what I was looking for. Thanks! I'll give it a try.

view this post on Zulip Notification Bot (Oct 13 2022 at 12:30):

Jake has marked this topic as resolved.

Last updated: Feb 06 2023 at 12:04 UTC