Loading paper
Triangle-free planar graphs with at most $64^{n^{0.731}}$ 3-colorings | Tomesphere