Stream: Miscellaneous

Topic: Case Analysis with Dependent Records

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: Nov 29 2023 at 22:01 UTC