Tag Info

type-theory Questions

7	1	Andrej Bauer 9,81223 silver badges62 bronze badges
5	1	Joey Eremondi 9714 silver badges14 bronze badges

216	25	Andrej Bauer 9,81223 silver badges62 bronze badges
73	7	Neel Krishnaswami 2,0535 silver badges17 bronze badges
64	9	András Kovács 2,0779 silver badges17 bronze badges
52	4	Mike Shulman 3,2006 silver badges34 bronze badges
51	9	ice1000♦ 6,31610 silver badges63 bronze badges
46	9	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
46	9	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges
33	2	Namdak Tönpa 1,2977 silver badges26 bronze badges
25	7	Jason Rute 9,1951 gold badge18 silver badges54 bronze badges
25	3	Pierre-Marie Pédrot 2,3339 silver badges18 bronze badges
24	1	gallais 1,2664 silver badges12 bronze badges
20	2	daniel gratzer 5163 silver badges12 bronze badges
20	1	Guy Coder 2,8461 gold badge12 silver badges38 bronze badges
19	5	Joey Eremondi 9714 silver badges14 bronze badges
18	2	Lawrence Paulson 8063 silver badges6 bronze badges
17	2	Matthew McQuaid 3763 silver badges7 bronze badges
16	1	Jonathan Sterling 5805 silver badges13 bronze badges
13	3	Dan Doel 9825 silver badges7 bronze badges
12	2	Couchy 2,3002 gold badges9 silver badges39 bronze badges
11	1	Ihar Bury 2992 silver badges7 bronze badges

shingo.nakanishi

1615 bronze badges

95	5	Greg Nisbet 3,0956 silver badges33 bronze badges
62	4	James Martin 1,0354 silver badges24 bronze badges
60	5	Mike Shulman 3,2006 silver badges34 bronze badges
55	9	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges
52	9	Ms. Molly Stewart-Gallus 2,8687 silver badges23 bronze badges
38	5	ice1000♦ 6,31610 silver badges63 bronze badges
27	4	Nico 7223 silver badges13 bronze badges
26	1	ErikMD 4066 silver badges14 bronze badges
26	1	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
23	8	Russoul 3451 silver badge6 bronze badges
22	1	pigworker 7712 silver badges10 bronze badges
19	1	Anqur 3011 silver badge5 bronze badges
18	1	Ende Jin 4293 silver badges8 bronze badges
17	1	user9716869 - supports Ukraine 8154 silver badges13 bronze badges
17	1	hardmath 5411 gold badge5 silver badges16 bronze badges
16	1	Blaisorblade 3943 silver badges9 bronze badges
16	1	Andrew Marmaduke 8945 silver badges14 bronze badges
16	1	Nathan 3681 silver badge10 bronze badges
14	2	Jozef Mikušinec 4111 silver badge11 bronze badges
13	1	Wheat Wizard 2312 silver badges8 bronze badges