On Friday, February 14, 2020 at 6:41:14 PM UTC-5, Norman Megill wrote:
> On Friday, February 14, 2020 at 6:28:58 PM UTC-5, David Starner wrote:
>> On Fri, Feb 14, 2020 at 3:12 PM Norman Megill  wrote: 

> Does that mean that 125-132 are open again? Since 155 hasn't started 
>> running backwards yet, I might as well load up the rest of those 
>> cores. 
> Let's see what David W. wants to do.  Also, this might affect anyone who 
> used the script, so there might be other jobs to be redone.

If you have free cores, you could start 157 and 158 that haven't been 
assigned.  You could also start 159 if you'd like, but Thierry indicated he 
might break the 159 theorem into smaller lemmas.


You received this message because you are subscribed to the Google Groups 
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to metamath+unsubscr...@googlegroups.com.
To view this discussion on the web visit 

Reply via email to