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