If you're willing to understand the program behind the proof, I think it's more ...

		enum on June 25, 2009 \| parent \| context \| favorite \| on: Is a Proof a Proof If No One Can Check It? If you're willing to understand the program behind the proof, I think it's more acceptable than a handwritten proof.