document.write("«&nbsp;<a href='/news/view?id=85188'>Coming Soon:Machine-Checked Proofs in Everyday Software and Hardware Development</a>");document.write(" | ");document.write("<a href='/news/view?id=85190'>Conflict-free connection of trees. (arXiv:1712.10010v1 [math.CO])</a>&nbsp;»");