A two-level approach towards lean proof-checking
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Congruence TypesPublished by Springer Nature ,1996
- Towards lean proof checkingPublished by Springer Nature ,1996
- A two-level approach towards lean proof-checkingPublished by Springer Nature ,1996
- Computation and ReasoningPublished by Oxford University Press (OUP) ,1994
- Exploring abstract algebra in constructive type theoryPublished by Springer Nature ,1994
- The Alf proof editor and its proof enginePublished by Springer Nature ,1994
- Extending the HOL theorem prover with a computer algebra system to reason about the realsPublished by Springer Nature ,1994
- Term Rewriting SystemsPublished by Oxford University Press (OUP) ,1992
- Universal AlgebraPublished by Springer Nature ,1981