vrahli / NuprlInCoq
Implementation of Nuprl's type theory in Coq
☆45Updated 3 months ago
Alternatives and similar repositories for NuprlInCoq:
Users that are interested in NuprlInCoq are comparing it to the libraries listed below
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.