Open Internet by MindsNet

Mizar

Polish formal mathematics project with extensive library

Mathematics & logic, Mathematics, Mathematical Logic