Lassie: HOL4 tactics by example.

Heiko Becker Nathaniel Bos Ivan Gavran Eva Darulova Rupak Majumdar

Published in: CPP (2021)

Keyphrases

theorem prover
natural deduction
higher order logic
formal methods
cooperative
theorem proving
data mining
artificial intelligence
case study
computational complexity
relational databases
object oriented
higher order
programming language