On Sunday, March 1, 2020 at 5:38:45 AM UTC-5, Jon P wrote: > > So I tried a little with trying to find candidates for deletion from the > deprecated sections by finding theorems which weren't referenced and then > finding new theorems to pair them up with. I managed to do 9 here > <https://docs.google.com/spreadsheets/d/19Msa6Qib2oe1zA2QIDWKRjPQvq-08DlbuWVUADV4d04/edit?usp=sharing> > . >
Thank you for starting this. > > I am finding this task pretty hard, finding things in the database is not > so easy. I might be able to write a python script to help with the > searching, not sure. > What kinds of things you are having trouble locating? Norm -- 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/63788161-b40a-4587-80c4-137037fecfcb%40googlegroups.com.
