Depends on if you think of formal proofs as a kind of code, I guess.