Nuprl 4.2

Nuprl 4.2 was derived from Nuprl 3. Principals involved in the design and implementation of Nuprl 4 were:

• R. Constable
• S. Allen
• R. Eaton
• J. Hickey
• D. Howe
• P. Jackson