Semi-Automation of Meta-Theoretic Proofs in Beluga.

Johanna Schwartzentruber Brigitte Pientka

Published in: CoRR (2023)

Keyphrases

relational databases
theorem prover
theorem proving
meta level
formal proofs
real time
expert systems
meta reasoning
data sets
machine learning
special case
graph transformation