TY  - RPRT
TI  - Tactic Learning and Proving for the Coq Proof Assistant
AU  - Lasse Blaauwbroek
AU  - Josef Urban
AU  - Herman Geuvers
PY  - 2020
DO  - 10.29007/wg1q
UR  - https://arxiv.org/abs/2003.09140
ID  - 2003.09140
ER  -