On 9/29/23 21:52, Mario Carneiro wrote:
in my test these are 4893.94 s and 5020.87 s respectively (that is,
2h45m total). I just got the new version working, and it takes 10.8 s
and 11.1 s respectively
Exciting stuff!
This has me pondering various possibilities, such as generating the
whole site on my machine (because I'm often proving where I don't have
good internet) rather than just one page at a time as I have been doing.
--
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/a1613087-36e4-a936-0641-e935315cedda%40panix.com.
