3 ms·

Yeah, whatever it was, it seems to have resolved in the last two hours. My proof works again... with no changes by me. I wouldn't mind seeing a postmortem for

Yeah, whatever it was, it seems to have resolved in the last two hours. My proof works again... with no changes by me. I wouldn't mind seeing a postmortem for this.