Tag Info

dependent-type Questions

162	17	Andrej Bauer 24.3k1 gold badge65 silver badges110 bronze badges
144	21	cody 12.4k1 gold badge37 silver badges72 bronze badges
127	11	Neel Krishnaswami 30.1k87 silver badges157 bronze badges
51	3	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
28	4	Martin Berger 9,9253 gold badges32 silver badges62 bronze badges
23	4	gallais 6264 silver badges14 bronze badges
19	1	jbapple 10.7k2 gold badges26 silver badges50 bronze badges
18	2	Marc Hamann 2,7541 gold badge21 silver badges22 bronze badges
15	1	Charles Stewart 4,23625 silver badges45 bronze badges
15	1	Levi Pearson 2662 silver badges2 bronze badges
14	3	Jesper 2861 silver badge4 bronze badges
13	1	Radu GRIGore 4,60626 silver badges68 bronze badges
10	1	Anthony 7004 silver badges11 bronze badges
10	2	Dominic Mulligan 8179 silver badges15 bronze badges
10	1	Ulrik Buchholtz 7166 silver badges5 bronze badges
9	2	gasche 1,5821 gold badge13 silver badges13 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
8	1	Łukasz Lew 1,0773 silver badges12 bronze badges
7	1	Liam O'Connor 2712 silver badges4 bronze badges
7	1	András Kovács 5012 silver badges5 bronze badges

90	9	Konstantin Solomatov 1,6028 silver badges18 bronze badges
57	9	jmite 2,35711 silver badges27 bronze badges
46	1	John Salvatier 1,24511 silver badges11 bronze badges
41	5	StudentType 7473 silver badges9 bronze badges
32	3	Neel Krishnaswami 30.1k87 silver badges157 bronze badges
31	1	Brian McKenna 4133 silver badges6 bronze badges
24	3	mrsteve 4332 silver badges10 bronze badges
22	1	ninjagecko 3232 silver badges5 bronze badges
19	4	molikto 2971 silver badge9 bronze badges
18	1	Rui Baptista 2831 silver badge5 bronze badges
16	2	Anthony 7004 silver badges11 bronze badges
16	1	Max New 1,1756 silver badges18 bronze badges
15	1	Petr Pudlák 2,33111 silver badges23 bronze badges
14	1	user833970 5162 silver badges10 bronze badges
13	2	Jacques Carette 1,21812 silver badges20 bronze badges
11	1	ZeitRaffer 1136 bronze badges
10	2	MaiaVictor 2,9958 silver badges28 bronze badges
10	1	Nikolaj-K 4912 silver badges10 bronze badges
9	1	Guillaume Brunerie 1934 bronze badges
8	1	Russell O'Connor 6084 silver badges7 bronze badges