Lassie: HOL4 Tactics by Example.

Heiko Becker Nathaniel Bos Ivan Gavran Eva Darulova Rupak Majumdar

Published in: CoRR (2021)

Keyphrases

data analysis
theorem prover
formal methods
natural deduction
case study
knowledge discovery
higher order logic
theorem proving
database systems
similarity measure
natural language
computational complexity
state space
software engineering