On Friday, February 14, 2020 at 12:45:53 PM UTC-5, Mario Carneiro wrote: > > 123 and 124 completed, in about 12 and 13 hours respectively. I'm running > 156 and 160 now. >
Thanks. Rather than send a new email for every status update, I'm editing it directly here: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/odjUQM6nBAAJ Be aware that 160 may be a tough one: https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/WmovUJiKBAAJ and also Thierry may break up its proof (his last message at 8:01AM EST). But if my estimate turns out to be too big, that would be good news. Norm -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/8cb00b8d-7f13-41f7-ab33-7f935286018a%40googlegroups.com.
