Zulip Chat Archive
Stream: lean4
Topic: 1-\epsilion method
Notification Bot (Apr 29 2024 at 00:16):
This topic was moved to #maths > 1-\epsilion method by Kyle Miller.
Eric Wieser (Apr 29 2024 at 10:55):
(now #maths > 1-\epsilon method)
Last updated: May 02 2025 at 03:31 UTC