I think that if you want to go away from "proofs written in shorthand by humans for other humans", then you are talking about formal verification of proofs. So, you are talking about something like making your proofs understandable to Coq or Isabelle, or maybe reading how others did it: you can start from http://us.metamath.org/