www.nuprl.org
- from
- University Courses
- added
- 2026-10-10
- likes
- 0
similar
-
Lectures cs.princeton.edu
-
Lectures courses2.cit.cornell.edu
-
Lectures courses2.cit.cornell.edu
-
Lectures and Videos crcv.ucf.edu
-
Lectures courses.engr.illinois.edu
-
Lectures courses.engr.illinois.edu
University Courses › Courses > Misc: “). We will also spend two weeks on constructive type theory, the language used by the Coq and Nuprl proof assistants.”