Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Nuprl

< >

Nuprl is a programming language created in 1984 by Robert Lee.

#2559on PLDB 40Years Old
Wikipedia

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...


View source
- Build the next great programming language About Search Keywords Livestreams Labs Resources Acknowledgements Part of the World Wide Scroll