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 Correct-by-Construction Attack Tolerant Systems
and more... System Nuprl System access, user documentation, and updates.
PRL Seminar Upcoming schedule and archives of slides and abstracts. People Faculty, research staff, students and alumni of the project. Wiki PRL Wiki documenting and discussing project evolution
The Book Implementing Mathematics with the Nuprl Proof Development system. Lectures Related academic courses. Other Groups Related Groups

Upcoming Seminars

  • TBA

PRL News


Website feedback
PRL Project | Computer Science Department | Cornell University
nuprl@cs.cornell.edu | 4149 Upson Hall, Ithaca, NY 14853 | © 2012 Cornell University
site admin | Prof Constable's Library | PRL SourceForge Project Page