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
- NuPRL.org
- "PRL Automated Reasoning Project at Cornell". http://www.cs.cornell.edu/Info/Projects/NuPRL/.
 |
This logic-related article is a stub. You can help Wikipedia by expanding it. |
 |
This technology-related article is a stub. You can help Wikipedia by expanding it. |
