Nuprl Project Related Web Sites
cs.cornell.eduNuPRL is the oldest theorem prover based on Martin-Löf's Type Theory.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
NuPRL is the oldest theorem prover based on Martin-Löf's Type Theory.