swMATH28795MaRDI QIDQ40509FDOQ40509
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Verified-Prover.html
Cited In (14)
- Formalization of the resolution calculus for first-order logic
- Specware
- theoremprover-museum
- Kit
- EROS
- Abstract Soundness
- Knuth Bendix Orders
- Incompleteness Theorems
- Incredible Proof Machine
- Superposition Calculus
- TAME
- FOL_Harrison
- Operating system verification---an overview
- Programming and verifying a declarative first-order prover in Isabelle/HOL
This page was built for software: Verified Prover
