document.write("«&nbsp;<a href='/news/view?id=85186'>Coherent double coverings of virtual link diagrams. (arXiv:1712.09348v1 [math.GT])</a>");document.write(" | ");document.write("<a href='/news/view?id=85188'>Coming Soon:Machine-Checked Proofs in Everyday Software and Hardware Development</a>&nbsp;»");