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