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: Dec 20 2023 at 11:08 UTC