Teaching Higher-Order Logic Using Isabelle.

Simon Tobias Lund Jørgen Villadsen

Published in: ThEdu@CADE (2023)

Keyphrases

higher order logic
theorem prover
higher order
automated reasoning
theorem proving
inference rules
first order logic
learning environment
distance learning
e learning
computer programming
conditional logic
online learning
learning process
natural deduction
high school
logical framework
knowledge base