Proofs and computations