Open Internet by MindsNet

Calculus of Constructions

The theoretical foundation behind Coq and similar systems

Mathematics & logic, Mathematics, Mathematical Logic