Nuprl
id:
nuprl-320-10107218
title:
Nuprl
text:
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. Nuprl functions as an automated theorem proving system and can also be used to provide proof assistance.
brand slug:
wiki
category slug:
encyclopedia
description:
Proof development system
original url:
https://en.wikipedia.org/wiki/Nuprl
date created:
date modified:
2024-03-06T20:27:46Z
main entity:
{"identifier":"Q22907407","url":"https://www.wikidata.org/entity/Q22907407"}
image:
fields total:
13
integrity:
14