<b><a href="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html"> NuPrl</a></b> (<i>rc@cs.cornell.edu</i>): an interactive proof development system </ul>
