System description: Leo — A higher-order theorem prover
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 139-143
- https://doi.org/10.1007/bfb0054256
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Extensional higher-order resolutionPublished by Springer Nature ,1998
- TPS: A theorem-proving system for classical type theoryJournal of Automated Reasoning, 1996
- Term IndexingPublished by Springer Nature ,1995
- KEIM: A toolkit for automated deductionPublished by Springer Nature ,1994
- Unification under a mixed prefixJournal of Symbolic Computation, 1992
- A unification algorithm for typed