vrahli / NuprlInCoqLinks

Implementation of Nuprl's type theory in Coq
45Updated 10 months ago

Alternatives and similar repositories for NuprlInCoq

Users that are interested in NuprlInCoq are comparing it to the libraries listed below

Sorting: