Comment by wheresmycraisin

Programming != proofs, or in general communicating abstract mathematical ideas. Writing mathematics is nothing like writing software.