NuPRL

From Wikipedia, the free encyclopedia

NuPRL is a higher-order proof development system developed at Cornell University. It was founded by Joseph L. Bates and Robert L. Constable in 1979 and, since then, many have contributed to the development of NuPRL.

[edit] External links

PRL Automated Reasoning Project at Cornell.

$\lnot(p\land\lnot p)$

This logic-related article is a stub. You can help by expanding it.

This technology-related article is a stub. You can help Wikipedia by expanding it.

Views

Interaction

Search

This page was last modified 14:55, 24 February 2008 by Wikipedia user Physis. Based on work by Wikipedia user(s) Gregbard, Jibbles, Bluebot, Rory096, Oleg Alexandrov, Tyrenius and Orz and Anonymous user(s) of Wikipedia.
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
About Wikipedia
Disclaimers