PRL Project

• Introduction
  To learn what the PRL project is about, you can read the Introduction and the first chapters of the Nuprl book. These introductions include many links to other material located at the web site.
• Math Library
  The Mathematics Libraries gives access to hundreds of theorems proved in the Nuprl proof development system and presented in a form readable with a web browser.
• Publications
  Publications lists articles and papers and provides access to PDF, postscript and html versions. All PhD theses from the project are accessible at the NCSTRL web site.
• Projects
  To read about our current research, see Research Projects: there is a project on distributed system security; one on logical programming environments; one on educational technology; and one on expressing computational complexity in programming logics.
• System
  Nuprl System downloads, user documentation, and updates.
• PRL Seminar
  View abstracts and slides from the Nuprl Seminar archives. Search by Author, Topic or Date.
• People
  People include the current faculty, research staff, students and alumni of the project. The PhD student pages indicate other research topics not included in the Project section.
• MetaPRL
  MetaPRL: System goals, documentation and more.
• The Book
  Implementing Mathematics with the Nuprl Proof Development system.
• Lectures
  Lectures and courses, links to related academic courses at Cornell, especially CS611 on Advanced Programming Languages, CS486 on Applied Logic, CS686 on programming Logic and CS671, an Introduction to Automated Reasoning.
• Other Groups
  Related groups.