Proof (mathematics)/External Links


 * The Archive of Formal Proofs - a platform that systematically collects formal proofs