CryptHOL: Game-Based Proofs in Higher-Order Logic.
David A. BasinAndreas LochbihlerS. Reza SefidgarPublished in: J. Cryptol. (2020)
Keyphrases
- higher order logic
- theorem prover
- higher order
- theorem proving
- inference rules
- automated reasoning
- conditional logic
- first order logic
- digital educational games
- logical framework
- learning tools
- game based learning
- learning process
- mobile learning
- expert systems
- educational games
- reasoning tasks
- default reasoning
- machine learning
- knowledge base