Tag Info

dependent-type Questions

153	16	Andrej Bauer 22.5k1 gold badge59 silver badges107 bronze badges
134	21	cody 11.5k34 silver badges66 bronze badges
123	10	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
49	3	Dave Clarke 15.2k3 gold badges52 silver badges103 bronze badges
26	4	Martin Berger 9,4702 gold badges30 silver badges61 bronze badges
19	2	gallais 5563 silver badges14 bronze badges
19	1	jbapple 4,2792 gold badges23 silver badges49 bronze badges
18	2	Marc Hamann 2,4941 gold badge17 silver badges21 bronze badges
14	1	Charles Stewart 3,86122 silver badges45 bronze badges
14	1	Levi Pearson 2562 silver badges2 bronze badges
13	1	Radu GRIGore 4,01124 silver badges67 bronze badges
10	1	Anthony 5503 silver badges11 bronze badges
10	2	Dominic Mulligan 8079 silver badges15 bronze badges
10	1	Ulrik Buchholtz 7166 silver badges5 bronze badges
9	2	gasche 1,4921 gold badge12 silver badges13 bronze badges
9	1	Gabriel Gonzalez 2061 silver badge2 bronze badges
8	2	Jesper 2111 silver badge3 bronze badges
8	1	Łukasz Lew 6701 silver badge12 bronze badges
7	1	Liam O'Connor 1711 silver badge4 bronze badges
7	1	Max New 7564 silver badges16 bronze badges

86	9	Konstantin Solomatov 8576 silver badges16 bronze badges
46	1	John Salvatier 6758 silver badges11 bronze badges
40	5	StudentType 4222 silver badges9 bronze badges
32	5	jmite 1,0288 silver badges26 bronze badges
32	3	Neel Krishnaswami 27.1k80 silver badges153 bronze badges
31	1	Brian McKenna 2582 silver badges6 bronze badges
24	3	mrsteve 2181 silver badge10 bronze badges
21	1	ninjagecko 2082 silver badges5 bronze badges
18	1	Rui Baptista 1935 bronze badges
17	4	molikto 1929 bronze badges
16	2	Anthony 5503 silver badges11 bronze badges
16	1	Max New 7564 silver badges16 bronze badges
15	1	Petr Pudlák 1,4569 silver badges20 bronze badges
14	1	user833970 3261 silver badge10 bronze badges
11	1	ZeitRaffer 586 bronze badges
10	1	Jacques Carette 1,07611 silver badges20 bronze badges
9	1	Nikolaj-K 2891 silver badge9 bronze badges
9	1	Guillaume Brunerie 1484 bronze badges
8	1	Russell O'Connor 3432 silver badges7 bronze badges
8	1	Steve Trout 1435 bronze badges