Christine Paulin

Learn More
  • References, S F Allen, +8 authors B Werner
  • 2007
We expect to be able to describe in the nal version of this paper an implementation of our ideas in the Nuprl proof development system. The implementation will share the genericity of the latest version of Nuprl. This version allows high{level speciication of inference rules for a wide class of logics. In developing this implementation we will look for(More)
  • 1