A project at Cornell for computerized reasoning that uses *(logic)-based _(reflection).

<ul class="links">
  <li>_("Cornell Prl Automated Reasoning Project"|http://www.nuprl.org/).</li>
  <li>_("MetaPRL Proof Assistant and Logical Programming Environment"|http://cvs.metaprl.org:12000/metaprl/default.html).</li>
</ul>
