Stream:
Coq devs & plugin devs
Topic:
✔ Replacement for Goal.V82.abstract_type
Notification Bot
(Jul 17 2023 at 18:45)
:
Arpan Agrawal
has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC