Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL.

Ralph Bottesch Max W. Haslbeck René Thiemann

Published in: FroCos (2019)

Keyphrases

theorem prover
natural deduction
formal methods
neural network
theoretical framework
theoretical basis
general theory
incremental learning
inference rules
theorem proving
formal theory
linear systems