Zulip Chat Archive

Stream: general

Topic: magical restart fix

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.

Chris Hughes (Mar 01 2018 at 13:09):

I've been experiencing the same sort of thing.

Last updated: Aug 03 2023 at 10:10 UTC