The three dimensions of proofs