TY  - RPRT
TI  - A formal proof of the four color theorem
AU  - Limin Xiang
PY  - 2009
UR  - https://arxiv.org/abs/0905.3713
ID  - 0905.3713
ER  -