The logic package for Nuprl
Version for Nuprl 4.2 as used in CS 671, Fall 1999 (900k)
Back to overview of tools
This page is still under construction.