Overview

• Brief Description of
• Highlights of Nuprl
• Motivations
• The Nuprl Logical Language
• Components of the System
  • General
  • Definitions
  • Proof Editing
  • Evaluation
• Programming Modes
• Physical Characteristics
• The ``Feel'' of the System
• This Document
  • Scope
  • Organization
• Research Topics
  • Programming Languages
  • Semantics
  • Methodology and Verification
  • Environments
  • Theorem Proving
  • Program Synthesis
  • Artificial Intelligence
• Related Work
  • Close Relatives
  • Intuitionism and Type Theory
  • Theoretical Background
  • Systems Background