Tag Info

dependent-type Questions

5	1	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
1	1	Dominique Larchey-Wendling 1662 bronze badges

80	5	Mike Shulman 3,2006 silver badges34 bronze badges
46	10	Andrej Bauer 9,81223 silver badges62 bronze badges
44	2	Namdak Tönpa 1,2977 silver badges26 bronze badges
40	1	Loïc Pujet 1,48910 silver badges16 bronze badges
37	4	Neel Krishnaswami 2,0535 silver badges17 bronze badges
33	4	András Kovács 2,0779 silver badges17 bronze badges
28	10	Meven Lennon-Bertrand♦ 5,5308 silver badges28 bronze badges
27	1	Jason Gross 1,5474 silver badges11 bronze badges
27	2	Couchy 2,3002 gold badges9 silver badges39 bronze badges
16	3	ice1000♦ 6,31610 silver badges63 bronze badges
15	2	James Wood 1,0534 silver badges17 bronze badges
10	5	Li-yao Xia 2,0325 silver badges11 bronze badges
10	3	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges
8	1	Pierre-Marie Pédrot 2,3339 silver badges18 bronze badges
6	1	gallais 1,2664 silver badges12 bronze badges
5	1	Joey Eremondi 9714 silver badges14 bronze badges
4	1	HTNW 5732 silver badges6 bronze badges
4	1	Pedro Sánchez Terraf 1,0134 silver badges18 bronze badges
4	1	Alex Nelson 1,5746 silver badges21 bronze badges
3	1	cody 3942 silver badges13 bronze badges

Pavel Shuhray

1274 bronze badges

32	1	Guy Coder 2,8461 gold badge12 silver badges38 bronze badges
31	1	user833970 4434 silver badges9 bronze badges
29	3	Cheery 7315 silver badges15 bronze badges
26	2	user9716869 - supports Ukraine 8154 silver badges13 bronze badges
18	1	Ende Jin 4293 silver badges8 bronze badges
16	1	Blaisorblade 3943 silver badges9 bronze badges
16	2	Mike Shulman 3,2006 silver badges34 bronze badges
15	1	Wno-all 1,1285 silver badges21 bronze badges
13	1	Wheat Wizard 2312 silver badges8 bronze badges
12	2	ice1000♦ 6,31610 silver badges63 bronze badges
12	3	Nico 7223 silver badges13 bronze badges
12	5	tinlyx 2,2201 gold badge7 silver badges29 bronze badges
10	1	keep_learning 2581 silver badge5 bronze badges
10	2	Ilk 5472 silver badges12 bronze badges
9	1	Shuchy 911 bronze badge
7	1	BackusNaur 734 bronze badges
6	1	Ms. Molly Stewart-Gallus 2,8687 silver badges23 bronze badges
6	1	Charlie Parker 3331 silver badge12 bronze badges
6	1	Patrick Nicodemus 2521 silver badge7 bronze badges
6	2	Russoul 3451 silver badge6 bronze badges