Working with proofs and files