Tag Info

dependent-types Questions

András Kovács

7634 silver badges8 bronze badges

216	27	Andrej Bauer 27.4k1 gold badge63 silver badges105 bronze badges
140	14	cody 7,66322 silver badges52 bronze badges
62	11	jmite 28.9k5 gold badges60 silver badges117 bronze badges
57	1	Edwin Brady 6866 silver badges3 bronze badges
56	9	Gilles 'SO- stop being evil' 41.1k7 gold badges110 silver badges173 bronze badges
53	6	Derek Elkins left SE 11.7k1 gold badge26 silver badges41 bronze badges
40	1	Ranjit Jhala 5165 silver badges3 bronze badges
34	5	chi 14k1 gold badge25 silver badges35 bronze badges
26	8	Dan Doel 1,9201 gold badge5 silver badges10 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
23	1	Daniil 2,14716 silver badges24 bronze badges
17	2	Martin Berger 8,02824 silver badges43 bronze badges
16	1	Alexey Romanov 3,09714 silver badges20 bronze badges
8	1	Alexander Kogtenkov 2062 silver badges5 bronze badges
7	1	Musa Al-hassy 8841 gold badge5 silver badges9 bronze badges
6	1	dader 1691 silver badge5 bronze badges
6	1	Aaron Stump 611 bronze badge
6	1	drcicero 611 silver badge3 bronze badges
5	1	hawkeye 1,1598 silver badges18 bronze badges
5	1	Jake 3,67817 silver badges33 bronze badges

Kevin Clancy

635 bronze badges

126	8	jmite 28.9k5 gold badges60 silver badges117 bronze badges
47	1	Victor 6655 silver badges5 bronze badges
40	1	Squidly 5115 silver badges8 bronze badges
35	2	Kostya 4552 silver badges8 bronze badges
27	4	Jake 3,67817 silver badges33 bronze badges
27	3	盛安安 9045 silver badges14 bronze badges
26	6	Pushpa 8734 silver badges11 bronze badges
26	2	MaiaVictor 3,99915 silver badges29 bronze badges
21	6	al pal 5512 silver badges6 bronze badges
18	3	Labbekak 4932 silver badges9 bronze badges
15	1	Abhishek Kumar 2612 silver badges3 bronze badges
13	2	paulotorrens 6593 silver badges9 bronze badges
12	1	Michael Rawson 2431 silver badge8 bronze badges
11	1	huynhjl 2131 silver badge7 bronze badges
11	1	Dr. John A Zoidberg 2531 silver badge5 bronze badges
10	1	meguli 2931 silver badge6 bronze badges
10	1	Alex 2431 silver badge5 bronze badges
9	1	hawkeye 1,1598 silver badges18 bronze badges
8	1	Warbo 5722 silver badges10 bronze badges
8	1	Alexis King 2841 silver badge10 bronze badges