Microsoft Office, but for proofs