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