Math proofs are more informal than you may think! It is a well-known cliché, however, that most mathematical papers do not contain sufficient details (or even do contain errors!) that would violate any algorithmic notion of theorem proving.