On Sat, 4 Mar 2006, James Propp wrote:

...

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.

Several years ago when teaching a course in Maple I gave one of Zeilberger's Maple "proofs" of a geometry theorem to my students to examine. The program was to return "true" if the theorem was true and "false" otherwise. One careful student found that due to a typo the last line was something like: if A = A then return true; else return false; end if; And sure enough, if you executed the program it returned true every time. :-)