Open Internet by MindsNet

Lean Theorem Prover

Microsoft's entry into formal mathematics - surprisingly elegant

Mathematics & logic, Mathematics, Mathematical Logic