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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка Learning Lean)
(Добавлена закладка From Set Theory to Type Theory | The n-Category Café)
Строка 1: Строка 1:
 
== 2020 ==
 
== 2020 ==
 
 
=== 2020-11 ===
 
=== 2020-11 ===
  
 +
* 2020-11-07, 11:55:46: [https://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html From Set Theory to Type Theory | The n-Category Café]
 
* 2020-11-07, 11:54:43: [https://leanprover-community.github.io/learn.html Learning Lean]
 
* 2020-11-07, 11:54:43: [https://leanprover-community.github.io/learn.html Learning Lean]
  

Версия 08:55, 7 ноября 2020

2020

2020-11

2020-08

2020-07