Hello metamath community, I had a question about verifiers, specifically: How long should it take for a verifier to verify set.mm? Right now my verifier takes about 30 seconds to verify set.mm, which is too long for my application (since the verifier has to run every time you open a database in my proof assistant). Using metamath-exe, verifying set.mm only takes about 5 seconds, so faster speed is definitely possible. I have already optimized my verifier code quite a lot and at this point the only improvement appears to be adding multi-threading. Does anyone know whether metamath-exe uses multi-threading? Or is my code simply too slow?
Thanks for any answers in advance! Best regards, Marlo Bruder -- 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 visit https://groups.google.com/d/msgid/metamath/06b8fa17-bdbb-40ce-ac78-910de280159en%40googlegroups.com.
