The presentation of formal proofs