Experiments with Choice in Dependently-Typed Higher-Order Logic.

Daniel Ranalter Chad E. Brown Cezary Kaliszyk

Published in: LPAR (2024)

Keyphrases

higher order logic
higher order
theorem prover
logical framework
conditional logic
artificial intelligence
decision trees
machine learning
high dimensional