[PS][PS] The Nuprl proof development system, version 4.2 reference manual and user's guide
P Jackson - Cornell University, Ithaca, NY, 1994 - cs.uni-potsdam.de
… This manual is a reference manual for version 4.1 of the Nuprl system. It … We
recommend that you run through the Nuprl term and proof editing tutorials before trying to
do anything else with the system. The Nuprl ML manual contains a tutorial in the use of ML. …
recommend that you run through the Nuprl term and proof editing tutorials before trying to
do anything else with the system. The Nuprl ML manual contains a tutorial in the use of ML. …
[PDF][PDF] The Nuprl Proof Development System, Version 5: Reference Manual and User's Guide
C Kreitz - Department of Computer Science, Cornell University, 2002 - cs.cornell.edu
This manual is a reference manual for version 5 of the Nuprl proof development system. As
the Nuprl system is constantly under development, this manual will always be incomplete. In
particular, it is missing information about recent advanced features of the system and about
certain extensions of Nuprl's type theory that are currently being added to the system. More
recent information and the system itself can be found at the Nuprl web pages http://www.
nuprl. org. From its beginnings in the 1980s, the PRL project has been guided by Robert …
the Nuprl system is constantly under development, this manual will always be incomplete. In
particular, it is missing information about recent advanced features of the system and about
certain extensions of Nuprl's type theory that are currently being added to the system. More
recent information and the system itself can be found at the Nuprl web pages http://www.
nuprl. org. From its beginnings in the 1980s, the PRL project has been guided by Robert …
以上显示的是最相近的搜索结果。 查看全部搜索结果