Skip to main content
PRL Project

The Nuprl Proof Development System

by Christian Horn
1988

Department of Artificial Intelligence Edinburgh Working Paper 214

bibTex ref: Horn88


cite link