TY  - RPRT
TI  - Theorem Proving in Large Formal Mathematics as an Emerging AI Field
AU  - Josef Urban
AU  - Jiri Vyskocil
PY  - 2012
UR  - https://arxiv.org/abs/1209.3914
ID  - 1209.3914
ER  -