Stream:
Coq users
Topic:
✔ Destruct on inductive types
Notification Bot
(Oct 12 2022 at 15:42)
:
Patrick Nicodemus
has marked this topic as resolved.
Last updated: Jan 31 2023 at 14:03 UTC