Tuesday, November 19, 2013

Long Mathematical Proofs?...


There is a Wikipedia page for them...

List of long proofs

Wish someone would organize a sensible collection of of Large Theories Common Sense problems, a bit like the TPTP collection. Also need to check out the Intuitionistic Logic benchmarks, the ILTP Library.

No comments:

Post a Comment