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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка From Set Theory to Type Theory | The n-Category Café)
(Добавлена закладка Consistency, availability, and partition tolerance in blockchain: a survey on the consensus mechanism over peer-to-peer networking | SpringerLink)
Строка 2: Строка 2:
 
=== 2020-11 ===
 
=== 2020-11 ===
  
 +
* 2020-11-11, 09:01:13: [https://link.springer.com/article/10.1007/s12243-020-00751-w Consistency, availability, and partition tolerance in blockchain: a survey on the consensus mechanism over peer-to-peer networking | SpringerLink]
 
* 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: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]

Версия 06:01, 11 ноября 2020

2020

2020-11

2020-08

2020-07