Verified Prover

MaRDI QIDQ40509swMATHFDO

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

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