Timon Gehr:
Formal proofs require a formalization of language semantics. It's not just a matter of finding someone to carry out the proof. (Anyone can learn online how to do this.)
I think you have too much faith in people intelligence (or just in my intelligence) :-)
Bye, bearophile
