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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена цитата к закладке Ruslan Karmanov)
(Добавлена закладка Learning Lean)
Строка 1: Строка 1:
 
== 2020 ==
 
== 2020 ==
 +
 +
=== 2020-11 ===
 +
 +
* 2020-11-07, 11:54:43: [https://leanprover-community.github.io/learn.html Learning Lean]
 +
 
=== 2020-08 ===
 
=== 2020-08 ===
  

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

2020

2020-11

2020-08

2020-07