> > The basic idea is to run 'minimize */a */n ax-*' on each proof and send > the results (in a log file) to me, without saving the proof. >
Maybe add the options /VERBOSE /TIME to have all the information possible. Benoît -- 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/69040696-aea4-424c-a151-dd34202a7baa%40googlegroups.com.
