NuPrl
A project at Cornell for computerized reasoning that uses logic-based reflection.- Cornell Prl Automated Reasoning Project.
- MetaPRL Proof Assistant and Logical Programming Environment.
This page is linked from: Meta-Circular Metalogical Reflection Methods of Reflection Quotienting