-Trees in Isabelle/HOL.

Niels Mündler Tobias Nipkow

Published in: ICTAC (2022)

Keyphrases

theorem prover
natural deduction
theorem proving
first order logic
higher order logic
decision trees
inference rules
neural network
tree construction
tree models
sequent calculus
binary trees
machine learning
relational databases
tree structure
tree structures