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 Oct 3, 2026
JasonGross / coqc-coqtop-univ-bug
Public repository discovered through GitHub real-time crawl.
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.
#26385761GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/NuprlInCoq
Implementation of Nuprl's type theory in Coq
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