TY  - RPRT
TI  - Coqatoo: Generating Natural Language Versions of Coq Proofs
AU  - Andrew Bedford
PY  - 2017
UR  - https://arxiv.org/abs/1712.03894
ID  - 1712.03894
ER  -