JasonGross/JonPRL
An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl
Public GitHub Catalog
Discovered Nov 2, 2026
JasonGross / NuprlInCoq
Implementation of Nuprl's type theory in Coq
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#49834574GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/PG
This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon)
JasonGross/unsong_scraper
Unsong for kindle, based on https://github.com/rhelsing/worm_scraper
JasonGross/urweb
The Ur/Web programming language