NuPrl

A project at Cornell for computerized reasoning that uses logic-based reflection.


This page is linked from: Meta-Circular   Metalogical Reflection   Methods of Reflection   Quotienting