References
G. Barthe. Formalising mathematics in type theory: fundamentals and case studies. Technical Report CSI-R9508, University of Nijmegen, 1995.
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.
Anthony C. Hearn. REDUCE User's Manual Version 3.5. Technical report, RAND, October 1993. RAND Publication CP78.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barthe, G., Elbers, H. (1996). Towards lean proof checking. In: Calmet, J., Limongelli, C. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1996. Lecture Notes in Computer Science, vol 1128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61697-7_5
Download citation
DOI: https://doi.org/10.1007/3-540-61697-7_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61697-9
Online ISBN: 978-3-540-70635-9
eBook Packages: Springer Book Archive