Stream: Miscellaneous

Topic: Case Analysis with Dependent Records


view this post on Zulip Notification Bot (Apr 13 2023 at 19:17):

This topic was moved to #Coq users > Case Analysis with Dependent Records by Karl Palmskog.


Last updated: Jun 13 2024 at 04:03 UTC