issues
search
jonsterling
/
JonPRL
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
http://www.jonprl.org
MIT License
109
stars
9
forks
source link
Add universe hierarchy
#250
Closed
jonsterling
closed
8 years ago
jonsterling
commented
8 years ago
Wrong repository, sorry
Wrong repository, sorry