Tag Info

homotopy-type-theory Questions

114	10	Andrej Bauer 26.2k1 gold badge70 silver badges119 bronze badges
21	1	Francisco Mota 6334 silver badges11 bronze badges
19	2	Neel Krishnaswami 31.2k91 silver badges161 bronze badges
15	1	Alexis 2511 silver badge3 bronze badges
14	1	Damiano Mazza 4,6631 gold badge20 silver badges34 bronze badges
13	1	Jacques Carette 1,48013 silver badges23 bronze badges
13	1	Jonathan Sterling 3063 silver badges7 bronze badges
12	2	Martin Berger 10.2k3 gold badges34 silver badges62 bronze badges
7	1	gasche 1,8721 gold badge15 silver badges15 bronze badges
6	1	Jason Gross 2511 silver badge5 bronze badges
5	1	gallais 6264 silver badges14 bronze badges
5	1	Mike Shulman 6002 silver badges12 bronze badges
5	1	L. Garde 1661 bronze badge
4	1	Egbert 1562 bronze badges
3	1	cody 13k1 gold badge41 silver badges86 bronze badges
3	1	András Kovács 1,2247 silver badges7 bronze badges
2	1	ice1000 8833 silver badges21 bronze badges

19	3	Konstantin Solomatov 1,71210 silver badges20 bronze badges
16	1	Giorgio Mossa 4442 silver badges10 bronze badges
15	1	user833970 5262 silver badges10 bronze badges
14	1	Henry Story 4852 silver badges11 bronze badges
14	2	MaiaVictor 3,0259 silver badges28 bronze badges
13	1	StudentType 7773 silver badges9 bronze badges
13	1	hawkeye 2,4911 gold badge17 silver badges31 bronze badges
10	1	Nikolaj-K 5052 silver badges10 bronze badges
10	1	ice1000 8833 silver badges21 bronze badges
10	2	Nift 6513 silver badges10 bronze badges
9	1	Bas Spitters 1953 bronze badges
7	1	Chill2Macht 4833 silver badges12 bronze badges
7	1	WorldSEnder 1735 bronze badges
5	1	Turion 5743 silver badges12 bronze badges
4	1	Guest0x0 513 bronze badges
3	1	მამუკა ჯიბლაძე 1314 bronze badges
3	1	Grant Jurgensen 334 bronze badges
1	1	bbarker 1214 bronze badges