TY - RPRT TI - A proof that square ice entropy is $\frac{3}{2} \log_2 (4/3)$ AU - Silvère Gangloff PY - 2019 UR - https://arxiv.org/abs/1902.09274 ID - 1902.09274 ER -