Programming Language - Nuprl

Nuprl

Nuprl - (pronounced "new pearl") Nearly Ultimate PRL. Interactive
creation of formal mathematics, including definitions and proofs. An
extremely rich type system, including dependent functions, products, sets,
quotients and universes. Types are first-class citizens. Built on Franz
Lisp and Edinburgh ML. "Implementing Mathematics in the Nuprl Proof
Development System", R.L. Constable et al, P-H 1986.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

13 plus 0? *   Robot Spam Prevention

 

Next Language:   NYAP

Browse by Letter

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