Stream: Beginner Questions

Topic: ✔ can't get congruence axiom to type check

Notification Bot (Apr 08 2026 at 13:21):

Adam Dingle has marked this topic as resolved.

Last updated: Aug 11 2026 at 20:46 UTC