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 / PG
This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon)
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.
#49236090GitHub System ID
JasonGrossOrganization / User
PublicVisibility
ActiveCatalog Status
More from JasonGross
JasonGross/NuprlInCoq
Implementation of Nuprl's type theory in Coq
JasonGross/unsong_scraper
Unsong for kindle, based on https://github.com/rhelsing/worm_scraper
JasonGross/urweb
The Ur/Web programming language