On Monday, September 7, 2020 at 12:59:59 PM UTC-4 Norman Megill wrote: > ...
> Many of the proofs that Metamath is missing have been done with other > provers. David Wheeler built a list of these, along with how many other > provers have proved the theorem. That can provide a rough idea of the > difficulty - the more provers that have done a proof, the more likely it is > feasible in Metamath. > > https://groups.google.com/g/metamath/c/QPOfJEnRqmU/m/zTt4GGiZDgAJ > > This list from 2016 is out of date, though. David provided a python > program there to regenerate it; perhaps you can re-run it and post the > updated list here. > It looks like Google stripped the leading spaces from the python program. @David, did you save this program, and if so could you run it for us to get an updated list? Thanks. 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/dc04d24f-210e-4135-8d0f-20b2d972d14bn%40googlegroups.com.
