NuprlInCoq

Implementation of Nuprl's type theory in Coq

GitHub

44 stars
8 watching
3 forks
Language: Coq
last commit: over 3 years ago

Screenshot of vrahli/NuprlInCoq website

www.nuprl.org/html/Nuprl2Coq/