Tag Info

cubical-type-theory Questions

29	1	Namdak Tönpa 1,2977 silver badges26 bronze badges
29	2	Jason Gross 1,5474 silver badges11 bronze badges
27	4	Trebor♦ 4,0871 gold badge8 silver badges39 bronze badges
18	1	Loïc Pujet 1,48910 silver badges16 bronze badges
14	1	daniel gratzer 5163 silver badges12 bronze badges
13	1	Couchy 2,3202 gold badges9 silver badges39 bronze badges
11	3	siegment 2721 silver badge7 bronze badges
10	1	Jesper 5065 silver badges8 bronze badges
9	2	ice1000♦ 6,34610 silver badges63 bronze badges
8	2	András Kovács 2,0779 silver badges17 bronze badges
7	1	Maximilian Doré 6653 silver badges7 bronze badges
6	1	Matthew McQuaid 3763 silver badges7 bronze badges
5	1	aws 3011 silver badge3 bronze badges
5	1	Jonathan Sterling 5805 silver badges13 bronze badges
3	1	Dan Doel 9825 silver badges7 bronze badges
3	1	KANG Rongji 6804 silver badges10 bronze badges

53	5	Trebor♦ 4,0871 gold badge8 silver badges39 bronze badges
43	10	ice1000♦ 6,34610 silver badges63 bronze badges
32	1	Guy Coder 2,8461 gold badge12 silver badges38 bronze badges
19	1	Anqur 3011 silver badge5 bronze badges
17	2	Joey Eremondi 9914 silver badges14 bronze badges
10	2	Naïm Favier 3591 silver badge10 bronze badges
9	1	Russoul 3451 silver badge6 bronze badges
2	1	Cheery 7315 silver badges15 bronze badges
1	1	blueberry 1111 bronze badge