www.nuprl.org
nuprl.org ↗). We will also spend two weeks on constructive type theory, the language used by the Coq and Nuprl proof assistants.
AboutVisit nuprl.org ↗
). We will also spend two weeks on constructive type theory, the language used by the Coq and Nuprl proof assistants.
This entry links to an external website rather than a GitHub repository, so there's no README to display here.