TY  - RPRT
TI  - TacticToe: Learning to Prove with Tactics
AU  - Thibault Gauthier
AU  - Cezary Kaliszyk
AU  - Josef Urban
AU  - Ramana Kumar
AU  - Michael Norrish
PY  - 2021
DO  - 10.1007/s10817-020-09580-x
UR  - https://arxiv.org/abs/1804.00596
ID  - 1804.00596
ER  -