Stream: Coq users

Topic: Coq equation's equivalent of `Set Program Cases`


view this post on Zulip Notification Bot (Jan 11 2023 at 16:37):

This topic was moved to #Equations devs & users > Coq equation's equivalent of Set Program Cases by Karl Palmskog.


Last updated: Mar 28 2024 at 16:02 UTC