- 1st
- 13:35
Затестил Lean Theorem Prover, это бомба!
- 21 comments
Entry tags:
13:58Кстати, хотел похвалить
- 3 comments
- 8th
- 01:43
Прививочное
- 6 comments
- 10th
- 18:32
Очень зависимые типы
Entry tags:
- 13th
- 19:30
[Draft] Inductive-recursive construction of Very Dependent Types
- 2 comments
Entry tags:
- 15th
- 03:53
Untying the knot
04:03HoTT новости
04:44(no subject)
- 5 comments
- 23rd
- 19:55
Летняя матшкола Алеф '2015 в Мюнхене
- 67 comments
- 25th
- 03:30
System S
- 6 comments
- 26th
- 15:05
More on efficient lambda-encodings and type zoo
Entry tags:
16:47Зачем в народном хозяйстве открытая рекурсия и открытая индукция?
- 29th
- 16:45
Теоретико-множественные основания теорката
- 8 comments
Entry tags:
- 30th
- 02:43
Квантовые компьютеры
- 34 comments