[math-fun] Re: proofs

Anyone is free to include in their math paper a statement of the shape "Computer checkable proofs of Theorems 1 and 2, and Lemmas 3-6, are available at the URL math.foo.edu/~baker/paper7.txt" . Maybe noone has thought to do it yet.

Doron Zeilberger does exactly this in many of his articles. Jim Propp