Skip to main content

Cornell University PRL Project

PRL Home Introduction Math Library Publications Projects System

Seminar People Wiki The Book Lectures Other Groups

KnowledgeBase » PUBLICATION » ID = 684

Proof Assistants and the Dynamic Nature of Formal Theories

by Robert L. Constable
2012

unofficial PDF
Also at http://ceur-ws.org/Vol-878/

From the Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving
Manchester, UK, June 30, 2012

bibTex ref: ConIJCAR12

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

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