TY  - RPRT
TI  - Essential Incompleteness of Arithmetic Verified by Coq
AU  - Russell O'Connor
PY  - 2006
DO  - 10.1007/11541868_16
UR  - https://arxiv.org/abs/cs/0505034
ID  - cs/0505034
ER  -