Argument

Nuprl

Overview

proof development system

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Nuprl

• Per Martin-Löf

Related ideas

• Proof assistant
• Intuitionistic type theory
• Computer science
• Cornell University
• ML (programming language)

Place in the tradition

Part of Type theory.

Explore Nuprl in the interactive graph →