Open Internet by MindsNet

Online proof-based pure math courses with small classes