19.5.06
Formalizing the top 100 theorems
Eerke Boiten pointed me at this list, which shows progress at producing formal proofs of a list of the 'Top 100 Theorems', using Hol, ProofPower, Isabelle, Coq, Mizar, Nqthm, and ACL2. Currently, 76% have been formalized!
