Stream: Coq users

Topic: ✔ Tactic-unification bug - 1.5m constraints for 3 evars


view this post on Zulip Lef Ioannidis (Dec 21 2023 at 03:09):

Typeclasses Opaque equ completely reduced the search time to not even milliseconds! Thank you very much for explaining how Typeclasses Opaque works.

view this post on Zulip Notification Bot (Dec 21 2023 at 03:09):

Lef Ioannidis has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC