Word:

Nuprl

Nuprl - /nyu p*rl/ Nearly Ultimate PRL.

A system for interactive creation of formal mathematics, including definitions and proofs. It has an extremely rich type system, including dependent functions, products, sets, quotients and universes. Types are first-class citizens. It is built on Franz Lisp and Edinburgh ML.

["Implementing Mathematics in the Nuprl Proof Development System", R.L. Constable et al, P-H 1986].
Browse
Nundination
Nung
Nunnation
Nunnery
Nunnish
Nunquam fictio sine lege
Nunquam indebitatus
Nuns
Nuns of the Word Incarnate
Nup
Nuper obiit
Nuphar
Nuphar advena
Nuphar lutea
Nuphar sagittifolium
Nuprin
-- Nuprl --
Nupson
Nuptial
nuptials
Nuptias non concubitas
Nuptse
Nur
Nuraghe
NURB
nurbs
Nuremberg
Nureyev
Nurl
Nurnberg
Nurse
nurse clinician
nurse log
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy