On Exams with the Isabelle Proof Assistant.

Frederik Krogsdal Jacobsen Jørgen Villadsen

Published in: CoRR (2023)

Keyphrases

theorem prover
natural deduction
automated theorem proving
theorem proving
inference rules
test bed
cut elimination
proof search
mathematical proofs
first order logic
sequent calculus
linear logic
sufficient conditions
decision trees
website
knowledge base
databases