Nuprl is an actively used programming language created in 1984. Nuprl is a proof development system, providing computer-mediated analysis and proofs of formal mathematical statements, and tools for software verification and optimization. Originally developed in the 1980s by Robert Lee Constable and others, the system is now maintained by the PRL Project at Cornell University. The currently supported version, Nuprl 5, is also known as FDL (Formal Digital Library). Read more on Wikipedia...
- the Nuprl wikipedia page
- Nuprl first appeared in 1984
- Have a question about Nuprl not answered here? Email me and let me know how I can help.
Last updated January 28th, 2020