A Verified Simple Prover for First-Order Logic

Jørgen Villadsen, Anders Schlichtkrull, Andreas Halkjær From

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

374 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Verified Simple Prover for First-Order Logic'. Together they form a unique fingerprint.

Computer Science