Tag Info

dependent-types Questions

3	1	jmite 28.3k5 gold badges58 silver badges113 bronze badges
2	1	cody 7,55820 silver badges51 bronze badges

212	27	Andrej Bauer 26.6k1 gold badge61 silver badges103 bronze badges
139	14	cody 7,55820 silver badges51 bronze badges
57	11	jmite 28.3k5 gold badges58 silver badges113 bronze badges
55	1	Edwin Brady 6666 silver badges3 bronze badges
55	9	Gilles 'SO- stop being evil' 40.1k7 gold badges108 silver badges171 bronze badges
53	6	Derek Elkins left SE 11.6k1 gold badge26 silver badges41 bronze badges
39	1	Ranjit Jhala 5064 silver badges3 bronze badges
33	5	chi 13.8k1 gold badge25 silver badges35 bronze badges
24	4	gallais 5633 silver badges12 bronze badges
24	7	Dan Doel 1,8151 gold badge4 silver badges10 bronze badges
23	1	Daniil 2,12716 silver badges24 bronze badges
17	2	Martin Berger 7,92321 silver badges43 bronze badges
16	1	Alexey Romanov 3,03714 silver badges20 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
5	1	drcicero 511 silver badge3 bronze badges
4	2	Mostowski Collapse 2101 silver badge6 bronze badges

3	1	12412316 1333 bronze badges
1	1	thoughtpolice 2055 bronze badges

122	8	jmite 28.3k5 gold badges58 silver badges113 bronze badges
45	1	Victor 6455 silver badges5 bronze badges
40	1	Squidly 5115 silver badges8 bronze badges
35	2	Kostya 4552 silver badges8 bronze badges
27	3	盛安安 9045 silver badges14 bronze badges
26	6	Pushpa 8534 silver badges11 bronze badges
26	2	MaiaVictor 3,96914 silver badges29 bronze badges
25	4	Jake 3,60816 silver badges33 bronze badges
19	6	al pal 5311 silver badge6 bronze badges
18	3	Labbekak 4832 silver badges9 bronze badges
14	1	Abhishek Kumar 2512 silver badges3 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,1337 silver badges17 bronze badges
8	1	Warbo 5722 silver badges10 bronze badges
8	1	John Gowers 1834 bronze badges