- 2nd
- 18:38
30
- 42 comments
- 5th
- 17:50
Почему унивалентность хотят связать с параметричностью
- 6 comments
Entry tags:
- 6th
- 11:33
Велосипедномечтательное
- 75 comments
- 11th
- 03:40
[image/bpg] Может хоть этот формат выживет...
- 19 comments
- 20th
- 13:26
USB-C рулит
- 7 comments
- 21st
- 16:17
HoTT as a tool
- 1 comment
16:54О формальных и неформальных доказательствах
- 1 comment
- 22nd
- 00:59
(no subject)
- 5 comments
01:55(no subject)
- 2 comments
- 24th
- 01:10
Achievment unlocked
- 18 comments
- 26th
- 17:45
Embrace complexity
- 18 comments
- 27th
- 19:30
Хе
- 9 comments
- 28th
- 12:50
Гм
- 8 comments
- 29th
- 02:47
(no subject)
17:42Терминология в HoTT
- 7 comments
19:53Линейная логика и квантовые группы: надежда на великое объединение
- 4 comments