Skip to main content
PRL Project

The "Interface" Version of Nuprl

by Stuart F. Allen, Richard Eaton

Stuart and Rich will describe the structure of the soon-to-be-released version of the Nuprl system which allows other processes to communicate with Nuprl processes, giving them access to the Library and Refiner. It will then be possible for users to use their preferred front ends. The new facility will also make it possible to use the new SML refiner which is being developed.