Stream:
Coq users
Topic:
✔ Empty context in ltac
Julin S
(Oct 12 2022 at 13:28)
:
Got it, thanks.
Notification Bot
(Oct 12 2022 at 13:28)
:
Julin S
has marked this topic as resolved.
Last updated: Jan 29 2023 at 06:02 UTC