cryogenics section, for potential resuscitation of mathematical campaigns using future technology automated provers like coq and isabelle, I think (I also

cryogenics section, for potential resuscitation of mathematical campaigns using future technology automated provers like coq and isabelle, I think (I also think I'm not a crackpot but ... http://arxiv.org/abs/1211.7012 http://arxiv.org/abs/1211.7012 http://mathlesstraveled.com/2012/11/11/a-computer-checked-proof-of-the-odd-order-theorem/ http://mathlesstraveled.com/2012/11/11/a-computer-checked-pr... Probably the haskell/agda camp'll want to defend their honor also