Proofs and Computations