Mechanized Platinum Repository of Reconstruction