Hello all, I was wondering if it is possible to create a list of the most frequently used assertions in set.mm using the commands of the Metamath program. I know that the description of syl has the next five most popularly referenced assertions, but I would like to extend this out to the next 100, or 1000 most referenced.
Thanks in advanced, -- 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/2522c87a-e6dd-44f0-acb4-798de0638f84n%40googlegroups.com.
