Tag Info

homotopy-type-theory Questions

70	5	Andrej Bauer 23k1 gold badge61 silver badges108 bronze badges
19	1	Francisco Mota 6134 silver badges11 bronze badges
18	2	Neel Krishnaswami 29.3k81 silver badges155 bronze badges
14	1	Alexis 2411 silver badge3 bronze badges
13	1	Damiano Mazza 3,9781 gold badge16 silver badges31 bronze badges
12	2	Martin Berger 9,7152 gold badges31 silver badges61 bronze badges
7	1	gasche 1,5621 gold badge12 silver badges13 bronze badges
6	1	Jason Gross 2511 silver badge5 bronze badges
5	1	Mike Shulman 3881 silver badge10 bronze badges
5	1	gallais 5913 silver badges14 bronze badges
3	1	cody 11.8k34 silver badges66 bronze badges

17	3	Konstantin Solomatov 1,5827 silver badges17 bronze badges
16	1	Giorgio Mossa 4342 silver badges10 bronze badges
14	1	user833970 5142 silver badges10 bronze badges
13	1	StudentType 7373 silver badges9 bronze badges
10	1	Nikolaj-K 4612 silver badges10 bronze badges
10	1	hawkeye 2,3311 gold badge13 silver badges28 bronze badges
9	1	Bas Spitters 1953 bronze badges
7	1	Chill2Macht 4233 silver badges12 bronze badges
7	1	WorldSEnder 1735 bronze badges
5	1	Turion 5643 silver badges12 bronze badges
1	1	bbarker 1214 bronze badges