[text]

Cornell PRL Project
--------------------

The project focuses on implementing computational mathematics and on providing logic-based tools that help automate programming.

Introduction Math Library

Publications Projects System

PRL Seminar People Wiki

The Book Lectures Other Groups

Prl Project / nuprl@cs.cornell.edu

Search the Nuprl site


RSS Feed PRL News Feed view history

 

PRL Project | Computer Science Department | Cornell University
nuprl@cs.cornell.edu | 4149 Upson Hall, Ithaca, NY 14853