Open Internet by MindsNet

Coq Proof Assistant

Dependent types and constructive logic - the future of mathematics?

Mathematics & logic, Mathematics, Mathematical Logic