Open Internet by MindsNet

HOL Light

John Harrison's lightweight but powerful theorem prover

Mathematics & logic, Mathematics, Mathematical Logic