Tag Info

dependent-types Questions

210	27	Andrej Bauer 26.1k1 gold badge58 silver badges100 bronze badges
136	13	cody 7,44318 silver badges49 bronze badges
55	9	Gilles 'SO- stop being evil' 39.8k7 gold badges105 silver badges170 bronze badges
54	1	Edwin Brady 6566 silver badges3 bronze badges
53	6	Derek Elkins left SE 11.6k1 gold badge26 silver badges41 bronze badges
53	10	jmite 28k5 gold badges57 silver badges110 bronze badges
39	1	Ranjit Jhala 5064 silver badges3 bronze badges
33	5	chi 13.8k1 gold badge25 silver badges35 bronze badges
24	7	Dan Doel 1,7864 silver badges9 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
23	1	Daniil 2,12715 silver badges24 bronze badges
17	2	Martin Berger 7,88121 silver badges43 bronze badges
16	1	Alexey Romanov 3,02713 silver badges20 bronze badges
8	1	Alexander Kogtenkov 2062 silver badges5 bronze badges
7	1	Musa Al-hassy 8941 gold badge5 silver badges9 bronze badges
6	1	Aaron Stump 611 bronze badge
5	2	L. Garde 2261 silver badge3 bronze badges
5	1	dader 1591 silver badge5 bronze badges
4	1	drcicero 413 bronze badges
4	2	Mostowski Collapse 2101 silver badge6 bronze badges

zooby

2431 silver badge4 bronze badges

122	8	jmite 28k5 gold badges57 silver badges110 bronze badges
44	1	Victor 6355 silver badges5 bronze badges
39	1	Squidly 5015 silver badges8 bronze badges
35	2	Kostya 4552 silver badges8 bronze badges
27	3	盛安安 9045 silver badges14 bronze badges
26	2	MaiaVictor 3,93914 silver badges29 bronze badges
25	6	Pushpa 8234 silver badges11 bronze badges
25	4	Jake 3,58816 silver badges31 bronze badges
19	6	al pal 5311 silver badge6 bronze badges
18	3	Labbekak 4832 silver badges9 bronze badges
14	1	Abhishek Kumar 2511 silver badge3 bronze badges
12	1	Michael Rawson 2431 silver badge8 bronze badges
11	1	Dr. John A Zoidberg 2531 silver badge5 bronze badges
11	1	huynhjl 2131 silver badge7 bronze badges
10	1	paulotorrens 6193 silver badges9 bronze badges
10	1	meguli 2931 silver badge6 bronze badges
10	1	Alex 2431 silver badge5 bronze badges
9	1	hawkeye 1,1237 silver badges17 bronze badges
8	1	fsestini 812 bronze badges
8	1	John Gowers 1834 bronze badges