Tag Info

extensional-type-theory Questions

9	1	Mike Shulman 2,9124 silver badges30 bronze badges
7	1	András Kovács 2,0078 silver badges16 bronze badges
3	1	cody 3362 silver badges9 bronze badges
3	1	Li-yao Xia 1,5174 silver badges11 bronze badges
2	1	Andrej Bauer 8,18720 silver badges59 bronze badges

18	2	Trebor♦ 3,6881 gold badge6 silver badges34 bronze badges
9	1	keep_learning 2481 silver badge4 bronze badges
4	1	Pavel Shuhray 591 bronze badge
2	1	Russoul 3456 bronze badges
2	1	Tiago Campos 1255 bronze badges

Only non community-wiki questions and answers are included in these totals (updated daily)