Stream: Coq users

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

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: Oct 13 2024 at 01:02 UTC