Login / Signup
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