Fingerprint
Dive into the research topics of 'Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 journal › Journal article › Research › peer-review
1283
Downloads (Orbit)