Who made the formal proofs and who checked them?