Tag Info

dependent-types Questions

222	28	Andrej Bauer 30k1 gold badge70 silver badges115 bronze badges
146	15	cody 8,11429 silver badges62 bronze badges
66	11	jmite 29.7k5 gold badges64 silver badges119 bronze badges
61	9	Gilles 'SO- stop being evil' 43.3k7 gold badges117 silver badges182 bronze badges
58	1	Edwin Brady 6966 silver badges3 bronze badges
55	6	Derek Elkins left SE 12k1 gold badge28 silver badges43 bronze badges
43	1	Ranjit Jhala 5465 silver badges3 bronze badges
34	5	chi 14.4k1 gold badge29 silver badges39 bronze badges
34	9	Dan Doel 2,6191 gold badge9 silver badges14 bronze badges
25	4	gallais 5734 silver badges14 bronze badges
23	1	Daniil 2,16718 silver badges24 bronze badges
18	2	Martin Berger 8,30827 silver badges45 bronze badges
16	1	Alexey Romanov 3,12717 silver badges22 bronze badges
12	1	drcicero 1211 silver badge4 bronze badges
8	1	Alexander Kogtenkov 2062 silver badges5 bronze badges
7	1	Musa Al-hassy 8841 gold badge5 silver badges9 bronze badges
7	1	dader 2142 silver badges5 bronze badges
7	2	András Kovács 9086 silver badges12 bronze badges
7	1	Pierre-Marie Pédrot 1711 bronze badge
6	1	Jake 3,79019 silver badges35 bronze badges

136	8	jmite 29.7k5 gold badges64 silver badges119 bronze badges
50	1	Victor 6955 silver badges5 bronze badges
42	1	Squidly 5315 silver badges8 bronze badges
36	2	Kostya 4732 silver badges10 bronze badges
29	6	Pushpa 9336 silver badges12 bronze badges
27	3	盛安安 9345 silver badges14 bronze badges
27	4	Jake 3,79019 silver badges35 bronze badges
26	2	MaiaVictor 4,1171 gold badge17 silver badges33 bronze badges
24	6	al pal 6213 silver badges6 bronze badges
19	3	Labbekak 5652 silver badges11 bronze badges
16	1	Abhishek Kumar 2712 silver badges3 bronze badges
14	2	paulotorrens 7113 silver badges11 bronze badges
12	1	huynhjl 2231 silver badge7 bronze badges
12	1	Michael Rawson 2431 silver badge8 bronze badges
12	1	Alex 2631 silver badge5 bronze badges
11	1	Dr. John A Zoidberg 2631 silver badge5 bronze badges
10	1	meguli 2931 silver badge7 bronze badges
9	2	thoughtpolice 3471 silver badge5 bronze badges
9	1	Warbo 6023 silver badges11 bronze badges
9	1	Alexis King 3041 silver badge11 bronze badges