Zulip Chat Archive

Stream: Is there code for X?

Topic: tactic for proving iff

Notification Bot (Jan 20 2022 at 12:45):

This topic was moved here from #general > tactic for proving iff by Eric Wieser

Last updated: Dec 20 2025 at 21:32 UTC