It's probably not a one-shot exercise. You could create the page with the list, with question marks for all theorems (or an entry "don't know" in a column "proven in set.mm"), then anyone can cooperatively update the file to fill in any missing entry with the correct reference, or "not in set.mm", with maybe some hints about what is missing to prove them.
_ Thierry -- 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/53b3aaf2-f201-b09e-7249-cdbb6656aaf8%40gmx.net.
