Tag Info

homotopy-type-theory Questions

119	10	Andrej Bauer 26.8k1 gold badge73 silver badges124 bronze badges
21	1	Francisco Mota 6334 silver badges11 bronze badges
19	2	Neel Krishnaswami 31.8k1 gold badge96 silver badges163 bronze badges
15	1	Alexis 2511 silver badge3 bronze badges
14	1	Damiano Mazza 4,8231 gold badge20 silver badges35 bronze badges
14	1	Jacques Carette 1,50013 silver badges23 bronze badges
13	1	Jonathan Sterling 3593 silver badges10 bronze badges
12	2	Martin Berger 10.4k3 gold badges35 silver badges63 bronze badges
9	2	Mike Shulman 6673 silver badges12 bronze badges
7	1	gasche 1,9101 gold badge15 silver badges15 bronze badges
6	1	Jason Gross 2511 silver badge5 bronze badges
6	1	L. Garde 1761 bronze badge
5	1	gallais 6364 silver badges14 bronze badges
4	1	Egbert 1562 bronze badges
3	1	cody 13.3k1 gold badge43 silver badges87 bronze badges
3	1	András Kovács 1,3497 silver badges7 bronze badges
2	1	ice1000 9233 silver badges21 bronze badges

19	3	Konstantin Solomatov 1,72211 silver badges20 bronze badges
17	1	Giorgio Mossa 4542 silver badges10 bronze badges
15	1	Henry Story 5452 silver badges13 bronze badges
15	3	Nift 8214 silver badges12 bronze badges
15	2	MaiaVictor 3,04510 silver badges29 bronze badges
15	1	user833970 5362 silver badges10 bronze badges
13	1	StudentType 7773 silver badges9 bronze badges
13	1	hawkeye 2,5311 gold badge18 silver badges33 bronze badges
11	1	ice1000 9233 silver badges21 bronze badges
10	1	Nikolaj-K 5052 silver badges10 bronze badges
9	1	Bas Spitters 1953 bronze badges
7	1	Chill2Macht 4933 silver badges12 bronze badges
7	1	WorldSEnder 1735 bronze badges
6	1	Turion 5843 silver badges12 bronze badges
4	1	Guest0x0 1513 bronze badges
3	1	მამუკა ჯიბლაძე 1314 bronze badges
3	1	Grant Jurgensen 334 bronze badges
1	1	bbarker 1214 bronze badges