A Naive Prover for First-Order Logic

MaRDI QIDQ7361734FDO

Authors Asta Halkjær From

Publication date 22 March 2022

Cites work

• Soundness and completeness proofs by coinductive methods
• Verifying a sequent calculus prover for first-order logic with functions in Isabelle/HOL

This page was built for software: A Naive Prover for First-Order Logic