| Nuprl | Contact Us |
|
 |
 |
| WK :: Nuprl :: |
| Resources :: |
|
|
WB WBT Addons Baby Cooking Books Runway Legal DVD Electronics Outdoor Living Kitchen Change Magazines Pop Music PCs Computers Cameras Software Toys Tools Video Computer |
|
|
|
1 definition for Nuprl From The Free On-line Dictionary of Computing (27 SEP 03) :
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].
(1994-12-13)
Request more information on Nuprl |
