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