vrahli / NuprlInCoqLinks

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

Alternatives and similar repositories for NuprlInCoq

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

Sorting: