Cited in
(14)- Programming and verifying a declarative first-order prover in Isabelle/HOL
- Specware
- theoremprover-museum
- Kit
- EROS
- Abstract Soundness
- Knuth Bendix Orders
- Incompleteness Theorems
- Incredible Proof Machine
- Superposition Calculus
- TAME
- FOL_Harrison
- Formalization of the resolution calculus for first-order logic
- Operating system verification---an overview
This page was built for software: Verified Prover
