Is this for real?

That's startling to me. I don't really feel like I "know" something well enough to bother with the overhead of developing computer code until I can at least get the essence of it down on paper.

Computers are for enumerating and increasing confidence in proofs. I find pen and paper to be far more creativity friendly.