Skip to main content
PRL Project

PRL Project "Proof/Program Refinement Logic"

implementing computational mathematics
and providing logic-based tools that help automate programming

Introduction What is the PRL project about? Math Library Hundreds of theorems proved in the Nuprl proof development system.
Publications Articles and papers in PDF, ps, and html versions. Projects Homotopy Type Theory
and more... System Nuprl System access, user documentation, and updates.
People Faculty, research staff, students and alumni of the project. The Book Implementing Mathematics with the Nuprl Proof Development system.

PRL News


Website feedback
PRL Project | Computer Science Department | Cornell University
nuprl@cs.cornell.edu | 320 Gates Hall, Ithaca, NY 14853 | © 2014 Cornell University
site admin | Prof Constable's Library