Stream: Coq users

Topic: ✔ Stuck on Seemingly Trivial Lemma


view this post on Zulip 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