Stream: Coq users

Topic: ✔ (never mind, figured out my issue)


view this post on Zulip Eli Dupree (Feb 23 2024 at 14:49):

(never mind, figured out my issue)

view this post on Zulip Notification Bot (Feb 23 2024 at 14:58):

Eli Dupree has marked this topic as resolved.


Last updated: Jun 23 2024 at 03:02 UTC