Zulip Chat Archive
Stream: general
Topic: timeout in topology/algebra/order/intermediate_value.lean
Scott Morrison (Nov 09 2022 at 08:37):
Anyone experienced a timeout recently in file#topology/algebra/order/intermediate_value.lean, line 408?
Last updated: Dec 20 2023 at 11:08 UTC