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: May 11 2021 at 00:31 UTC