wip

Author: 5HT

index.html

@@ -407,11 +407,6 @@
 21) <a href="https://arxiv.org/abs/1509.07584">Brouwer’s fixed-point theorem in real-cohesive homotopy type theory</a> [Shulman].
 22) <a href="https://5ht.co/three.pdf"></a> [Andrej Bauer, Niels van der Weide].
 </p><center><br>🧊 <br><br><br>
-<<<<<<< HEAD
 </center><center><img src="https://n2o.dev/img/1F1F8-1F1EA.svg" height=50 style="margin:-00px;padding:0px;">
 <img src="https://n2o.dev/img/1F1FA-1F1E6.svg" height=50 style="margin:-00px;padding:0px;">
-=======
-</center><center><img src="https://homotopy.dev/img/1F1F8-1F1EA.svg" height=50 style="margin:-00px;padding:0px;">
-<img src="https://homotopy.dev/img/1F1FA-1F1E6.svg" height=50 style="margin:-00px;padding:0px;">
->>>>>>> 01fd9289443d0446af652c1bdad7b8c1fbe92142
 </center></section></div></article><footer class="footer"><a href="https://5ht.co/license/"><img class="footer__logo" src="https://longchenpa.guru/seal.png" width="50"></a><span class="footer__copy">2016&mdash;2026 &copy; <a rel="me" href="https://mathstodon.xyz/@5ht">Namdak Tönpa</a></span></footer>