TY  - RPRT
TI  - Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description
AU  - Cezary Kaliszyk
AU  - Josef Urban
AU  - Jiri Vyskocil
AU  - Herman Geuvers
PY  - 2014
UR  - https://arxiv.org/abs/1405.3451
ID  - 1405.3451
ER  -