Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Nuprl

Known as: JohnMarkOckerbloom/Nuprl 
Nuprl is a proof development system, providing computer-mediated analysis and proofs of formal mathematical statements, and tools for software… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Abstract For twenty years the Nuprl (“new pearl”) system has been used to develop software systems and formal theories of… Expand
  • table 1
  • figure 1
Is this relevant?
2005
2005
Reflection is the ability of some entity to describe itself. In a logical context, it is the ability of a logic to reason about… Expand
  • figure 3.1
  • figure 3.3
  • figure 4.2
Is this relevant?
2001
2001
We have developed a proof translator from HOL into a classical extension of NuPRL which is based on two lines of previous work… Expand
Is this relevant?
1998
1998
This paper presents work directed toward making the Nuprl interactive theorem prover a more eeective tool for protocol… Expand
Is this relevant?
1997
1997
Recent developments in higher-order logics and theorem prover design have led to an explosion in the amount of mathematics and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We give a new semantics for Nuprl's constructive type theory that justifies a useful embedding of the logic of the HOL theorem… Expand
Is this relevant?
1996
1996
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This thesis describes substantial enhancements that were made to the software tools in the Nuprl system that are used to… Expand
Is this relevant?
1989
1989
We present a case study of hardware specification and verification in the Nuprl Proof Development System. Within Nuprl we have… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
A distinct cultivar of Dahlia plant named 'Gallery Degas', characterized by its suitability for potted plants, garden for patio… Expand
  • figure 2.4
  • figure 3.2
  • figure 3.3
  • figure 3.4
  • figure 3.5
Is this relevant?