Stream: Coq users

Topic: ✔ No True Scotsman fallacy formalization.


view this post on Zulip Notification Bot (Aug 14 2023 at 23:14):

Thomas Dziedzic has marked this topic as resolved.


Last updated: Jun 22 2024 at 16:02 UTC