TY  - RPRT
TI  - Lassie: HOL4 Tactics by Example
AU  - Heiko Becker
AU  - Nathaniel Bos
AU  - Ivan Gavran
AU  - Eva Darulova
AU  - Rupak Majumdar
PY  - 2021
DO  - 10.1145/3437992.3439925
UR  - https://arxiv.org/abs/2101.00930
ID  - 2101.00930
ER  -