ProofWiki es un compendio online de demostraciones matemáticas. El objetivo de este proyecto es recopilar la mayor cantidad de demostraciones matemáticas y agruparlas bajo los distintos temas a los que pertenecen para que puedan consultarse con mayor comodidad.