CryptHOL: Game-based Proofs in Higher-order Logic.
David A. BasinAndreas LochbihlerS. Reza SefidgarPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- higher order logic
- theorem prover
- higher order
- theorem proving
- automated reasoning
- first order logic
- digital educational games
- conditional logic
- learning tools
- inference rules
- learning process
- logical framework
- mobile learning
- game based learning
- general purpose
- educational games
- default reasoning
- sufficient conditions
- decision trees