Implementing number theory: An experiment with Nuprl

This publication has 7 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• Constructions: A higher order proof system for mechanizing mathematics
  Published by Springer Nature ,1985
• Writing programs that construct proofs
  Journal of Automated Reasoning, 1985
• A higher-order implementation of rewriting
  Science of Computer Programming, 1983
• An Introduction to the PL/CV2 Programming Logic
  Lecture Notes in Computer Science, 1982
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979