Tag Info

dependent-types Questions

208	27	Andrej Bauer 25.3k1 gold badge57 silver badges98 bronze badges
136	13	cody 7,44318 silver badges48 bronze badges
54	9	Gilles 'SO- stop being evil' 39k7 gold badges103 silver badges167 bronze badges
53	6	Derek Elkins left SE 11.5k1 gold badge25 silver badges41 bronze badges
51	1	Edwin Brady 6266 silver badges3 bronze badges
47	9	jmite 27.8k5 gold badges57 silver badges110 bronze badges
39	1	Ranjit Jhala 5064 silver badges3 bronze badges
33	5	chi 13.7k23 silver badges34 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
24	7	Dan Doel 1,4913 silver badges8 bronze badges
23	1	Daniil 2,11715 silver badges24 bronze badges
17	2	Martin Berger 7,85121 silver badges41 bronze badges
15	1	Alexey Romanov 2,98713 silver badges19 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	Aaron Stump 611 bronze badge
5	1	dader 1591 silver badge5 bronze badges
5	2	L. Garde 2261 silver badge3 bronze badges
4	1	Daniel Gratzer 1,4201 gold badge13 silver badges19 bronze badges
4	1	hawkeye 1,1236 silver badges17 bronze badges

122	8	jmite 27.8k5 gold badges57 silver badges110 bronze badges
44	1	Victor 6355 silver badges5 bronze badges
37	1	Squidly 4815 silver badges8 bronze badges
34	2	Kostya 4452 silver badges8 bronze badges
27	3	盛安安 9045 silver badges14 bronze badges
26	2	MaiaVictor 3,90914 silver badges29 bronze badges
25	4	Jake 3,52016 silver badges31 bronze badges
25	6	Pushpa 7933 silver badges11 bronze badges
19	6	al pal 5211 silver badge6 bronze badges
17	3	Labbekak 4732 silver badges8 bronze badges
13	1	Abhishek Kumar 2411 silver badge3 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,1236 silver badges17 bronze badges
8	1	John Gowers 1834 bronze badges
8	1	fsestini 812 bronze badges