Lassie: HOL4 tactics by example

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs ◽

10.1145/3437992.3439925 ◽

2021 ◽

Author(s):

Heiko Becker ◽

Nathaniel Bos ◽

Ivan Gavran ◽

Eva Darulova ◽

Rupak Majumdar

Download Full-text