NSF ITR proposal

by Robert L. Constable, Robert L. Constable
2000-2001

We will talk about the work we plan to do for NSF and how we will coordinate that with other funded efforts. Christoph and I will share the talk and look at the three sections of the proposal.

PRL Home
Introduction
The Nuprl book
Origins of the PRL Project
Goals
Dynamics of the Project
Mathematical Expression in Nuprl
Cross Links to Math & CS Fields

Knowledge Base
Math Library
Publications
Projects
CRASH
Nuprl/FDL System
EventML Software
Seminar

People
Wiki
The Book
Lectures
Other Groups

NSF ITR proposal

by Robert L. Constable, Robert L. Constable 2000-2001

by Robert L. Constable, Robert L. Constable
2000-2001