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