Il 14/02/20 10:07, Giovanni Mascellani ha scritto: > first of all, Norm, could you please allocate 113-124 to me? Thanks. I > am running them on a couple of 8-threads server-class machines.
Oh no, that list was not up-to-date. It seems that that block reduced to 117-122. I'm taking those, then. Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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/64fe878d-e812-6848-7261-d5d75954dc33%40gmail.com.
