As the top voted answer says, proofs are at a very high level compared to programming. Now imagine writing proofs on a very low level (check Metamath) where yo

As the top voted answer says, proofs are at a very high level compared to programming. Now imagine writing proofs on a very low level (check Metamath) where you work with wff and rewrite rules. It gets as tricky as programming.