Towards lean proof checking

  • G. Barthe
  • H. Elbers
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1128)


  1. 1.
    G. Barthe. Formalising mathematics in type theory: fundamentals and case studies. Technical Report CSI-R9508, University of Nijmegen, 1995.Google Scholar
  2. 2.
    G. Barthe, M. Ruys, and H. Barendregt. A two-level approach towards lean proof-checking. In S. Berardi and M. Coppo, editors, Proceedings of TYPES'95, Lecture Notes in Computer Science. Springer-Verlag, 1996. To appear.Google Scholar
  3. 3.
    Anthony C. Hearn. REDUCE User's Manual Version 3.5. Technical report, RAND, October 1993. RAND Publication CP78.Google Scholar
  4. 4.
    Z. Luo and R. Pollack. LEGO proof development system: User's manual. Technical Report ECS-LFCS-92-211, LFCS, Computer Science Dept., University of Edinburgh, May 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • G. Barthe
    • 1
  • H. Elbers
    • 1
  1. 1.CWIGB AmsterdamThe Netherlands

Personalised recommendations