Forro' Logico: A blog to keep things.
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
. Also need to check out the Intuitionistic Logic benchmarks, the
Share to Twitter
Share to Facebook
Share to Pinterest
Post a Comment
Post Comments (Atom)