Stream:
Coq users
Topic:
✔ Stuck on Seemingly Trivial Lemma
Notification Bot
(Dec 22 2023 at 16:54)
:
Julia Dijkstra
has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC