Stream: Coq users

Topic: ✔ No True Scotsman fallacy formalization.

Notification Bot (Aug 14 2023 at 23:14):

Thomas Dziedzic has marked this topic as resolved.

Last updated: Sep 15 2024 at 13:02 UTC