Tag Info

dependent-types Questions

214	27	Andrej Bauer 26.9k1 gold badge62 silver badges105 bronze badges
140	14	cody 7,62320 silver badges51 bronze badges
59	11	jmite 28.6k5 gold badges59 silver badges115 bronze badges
56	1	Edwin Brady 6766 silver badges3 bronze badges
56	9	Gilles 'SO- stop being evil' 40.8k7 gold badges108 silver badges171 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
33	5	chi 13.9k1 gold badge25 silver badges35 bronze badges
26	8	Dan Doel 1,8901 gold badge4 silver badges10 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
23	1	Daniil 2,12716 silver badges24 bronze badges
17	2	Martin Berger 7,97822 silver badges43 bronze badges
16	1	Alexey Romanov 3,05714 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,1438 silver badges17 bronze badges
5	1	Jake 3,62817 silver badges33 bronze badges

122	8	jmite 28.6k5 gold badges59 silver badges115 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	3	盛安安 9045 silver badges14 bronze badges
26	6	Pushpa 8634 silver badges11 bronze badges
26	2	MaiaVictor 3,97915 silver badges29 bronze badges
25	4	Jake 3,62817 silver badges33 bronze badges
21	6	al pal 5512 silver badges6 bronze badges
18	3	Labbekak 4932 silver badges9 bronze badges
14	1	Abhishek Kumar 2512 silver badges3 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
10	1	paulotorrens 6193 silver badges9 bronze badges
9	1	hawkeye 1,1438 silver badges17 bronze badges
8	1	Warbo 5722 silver badges10 bronze badges
8	1	John Gowers 1834 bronze badges