Tag Info

dependent-types Questions

218	27	Andrej Bauer 28.4k1 gold badge66 silver badges109 bronze badges
142	15	cody 7,74423 silver badges52 bronze badges
63	11	jmite 29.2k5 gold badges63 silver badges117 bronze badges
58	1	Edwin Brady 6966 silver badges3 bronze badges
58	9	Gilles 'SO- stop being evil' 42.1k7 gold badges112 silver badges175 bronze badges
54	6	Derek Elkins left SE 11.8k1 gold badge27 silver badges42 bronze badges
43	1	Ranjit Jhala 5465 silver badges3 bronze badges
34	5	chi 14.2k1 gold badge26 silver badges35 bronze badges
30	9	Dan Doel 2,1351 gold badge6 silver badges11 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
23	1	Daniil 2,14717 silver badges24 bronze badges
18	2	Martin Berger 8,17824 silver badges43 bronze badges
16	1	Alexey Romanov 3,10716 silver badges20 bronze badges
9	1	drcicero 911 silver badge3 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 1791 silver badge5 bronze badges
7	1	Pierre-Marie Pédrot 1711 bronze badge
6	1	Jake 3,73818 silver badges33 bronze badges
6	2	András Kovács 8036 silver badges9 bronze badges

Corbin

2111 silver badge6 bronze badges

131	8	jmite 29.2k5 gold badges63 silver badges117 bronze badges
48	1	Victor 6755 silver badges5 bronze badges
40	1	Squidly 5115 silver badges8 bronze badges
36	2	Kostya 4732 silver badges8 bronze badges
27	4	Jake 3,73818 silver badges33 bronze badges
27	6	Pushpa 8934 silver badges11 bronze badges
27	3	盛安安 9145 silver badges14 bronze badges
26	2	MaiaVictor 4,01716 silver badges30 bronze badges
21	6	al pal 5932 silver badges6 bronze badges
18	3	Labbekak 5452 silver badges10 bronze badges
15	1	Abhishek Kumar 2612 silver badges3 bronze badges
14	2	paulotorrens 6793 silver badges9 bronze badges
12	1	huynhjl 2231 silver badge7 bronze badges
12	1	Michael Rawson 2431 silver badge8 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,1898 silver badges18 bronze badges
8	1	Warbo 5922 silver badges10 bronze badges
8	1	Alexis King 2841 silver badge10 bronze badges