CryptHOL: Game-Based Proofs in Higher-Order Logic
David Basin, Andreas Lochbihler, S. Reza Sefidgar
Topics & Concepts
Mathematical proofHOLComputer scienceAutomated theorem provingProof assistantProgramming languageGas meter proverTheoretical computer scienceHigher-order logicMathematicsDescription logicGeometryLogic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge