PRL

The Proof (or Program) Refinement Logic program, led by Robert Constable of Cornell. Systems from the project include Nuprl and the Formal Digital Library.

This page is linked from: Formal Digital Library Nuprl

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively