Open Internet by MindsNet

Metamath

Formal system for mathematics with complete verifiability

Mathematics & logic, Mathematics, Mathematical Logic