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: May 02 2025 at 03:31 UTC