Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

Nuprl

Nuprl - Programming language

< >

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

#2411on PLDB 39Years Old 50Users
0Books 0Papers

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


mentat.html 路 nuprl.html 路 absys.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub feedback@pldb.com