Zulip Chat Archive

Stream: general

Topic: magical restart fix

view this post on Zulip Moses Schönfinkel (Mar 01 2018 at 12:13):

This is peculiar. Every fifth lean server restart or so (which I need to do fairly often due to "excessive memory consumption" thing), one of my theorems breaks and can be unbroken by restarting Lean again. I have been failing to make a minimal example though - seems rather arbitrary.

view this post on Zulip Chris Hughes (Mar 01 2018 at 13:09):

I've been experiencing the same sort of thing.

Last updated: May 11 2021 at 00:31 UTC