Участник:StasFomin/Bookmarks/CS — различия между версиями

Версия 18:35, 2 июля 2020

@@ Строка 2: / Строка 2: @@
 === 2020-07 ===
+* 2020-07-02, 21:35:57: [https://discopal.ispras.ru/%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:StasFomin/Bookmarks/Algorithms Участник:StasFomin/Bookmarks/Algorithms — DISCOPAL]
 * 2020-07-02, 20:44:29: [https://category-theory.livejournal.com/19259.html The HoTT Book: category_theory — LiveJournal]
 *: <html><h1 class=" b-singlepost-title entry-title p-name " ng-non-bindable="">The HoTT Book  </h1>  <div class="b-singlepost-bodywrapper">  <article class="b-singlepost-body entry-content e-content   ng-scope" lj-sale-entry="" lj-discovery-tags="" lj-embed-resizer=""> <a href="http://homotopytypetheory.org/book/" rel="nofollow" target="_self">http://homotopytypetheory.org/book/</a> <br><a href="http://homotopytypetheory.org/2013/06/20/the-hott-book/" rel="nofollow" target="_self">http://homotopytypetheory.org/2013/06/20/the-hott-book/</a><br><a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html" rel="nofollow" target="_self">http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a>  </article>  <div class="z7fhfxd     z7fhfxd--empty           ng-isolate-scope" zr2z6e5j0on0scroll="true" zr2z6e5j0window0min="320" zr2z6e5j0window0max="1000" zr2z6e5j0close0less="true" zr2z6e5j0not0init="zvti6cemobile_content_5"><div class="z7fhfxd__inner">      <div class="z7c4ll7s8ko "></div></div></div></div></html>