Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen*

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

953 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL'. Together they form a unique fingerprint.

Mathematics

Computer Science