TY  - RPRT
TI  - Machine Learning of Coq Proof Guidance: First Experiments
AU  - Cezary Kaliszyk
AU  - Lionel Mamane
AU  - Josef Urban
PY  - 2014
UR  - https://arxiv.org/abs/1410.5467
ID  - 1410.5467
ER  -