TY  - RPRT
TI  - Learning to Reason with HOL4 tactics
AU  - Thibault Gauthier
AU  - Cezary Kaliszyk
AU  - Josef Urban
PY  - 2018
DO  - 10.29007/ntlb
UR  - https://arxiv.org/abs/1804.00595
ID  - 1804.00595
ER  -