The Nuprl Proof Development System
by Christian Horn
Department of Artificial Intelligence Edinburgh Working Paper 214, 1988.
Sorry, there are no downloadable files available for this document at this time.
