Available Theorem Proving Tools
Program Transformation
The Ensemble optimizer in Nuprl 4.2
(1.6MB)
Ensemble 0.50 with reconfigurations
(8MB)
Back to Topics
Courses
The logic package for Nuprl 4.2 as used in CS 671
(800K)
Back to Topics