@misc{indiciae9cf1b0f5b189,
  title = {Theorem Proving in Large Formal Mathematics as an Emerging AI Field},
  author = {Josef Urban and Jiri Vyskocil},
  year = {2012},
  url = {https://arxiv.org/abs/1209.3914},
  note = {Source identifier: 1209.3914}
}