Verified Prover

MaRDI QIDQ40509swMATHFDO

Authors Tom Ridge

Publication date 28 September 2004

Official website https://www.isa-afp.org/entries/Verified-Prover.html

Cites work

• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic

Cited in

(14)

• Operating system verification---an overview
• Formalization of the resolution calculus for first-order logic
• Specware
• theoremprover-museum
• Kit
• EROS
• Superposition Calculus
• Knuth Bendix Orders
• Incompleteness Theorems
• TAME
• Abstract Soundness
• Incredible Proof Machine
• FOL_Harrison
• Programming and verifying a declarative first-order prover in Isabelle/HOL

This page was built for software: Verified Prover