TY  - RPRT
TI  - A Human-Checkable Four-Color Theorem Proof
AU  - André Luiz Barbosa
PY  - 2019
UR  - https://arxiv.org/abs/1708.07442
ID  - 1708.07442
ER  -