Hot: A concurrent automated theorem prover based on higher-order tableaux
Lecture notes in computer science1998pp. 245–261
Citations Over TimeTop 24% of 1998 papers
Related Papers
- → Integrating an Automated Theorem Prover into Agda(2011)12 cited
- Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions(2007)
- Automatic software verification and synthesis(1989)
- → Dependently Typed Programming based on Automated Theorem Proving(2011)2 cited
- → A FOOLish Encoding of the Next State Relations of Imperative Programs(2018)1 cited