Proofs Management