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!

Comments: Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?