Open Internet by MindsNet

Two researchers are rebuilding mathematics from the ground up