Generic Architecture for Proofs