ARAGO: Certified Plate Proofs