document.write("«&nbsp;<a href='/news/view?id=141684'>Formality – An efficient programming language and proof assistant</a>");document.write(" | ");document.write("<a href='/news/view?id=141686'>Framization of a Temperley-Lieb algebra of type $\mathtt{B}$. (arXiv:1708.02014v2 [math.RA] UPDATED)</a>&nbsp;»");