The Nuprl Open Logical Environment

Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features an open, distributed architecture centered around a flexible knowledge base and supports the cooperation of independent formal tools. This paper gives a brief overview of the system and the objectives that are addressed by its new architecture.

• Type: Conference
• Year: 2000
• Where: CADE
• Authors: Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
• Keywords: CADE 2000, Independent Formal Tools, Logical Reasoning, Nuprl, flexible Knowledge Base