Tag Info

type-theory Questions

579	83	Andrej Bauer 28.2k1 gold badge66 silver badges109 bronze badges
325	36	Gilles 'SO- stop being evil' 41.9k7 gold badges112 silver badges173 bronze badges
218	29	Derek Elkins left SE 11.8k1 gold badge27 silver badges42 bronze badges
179	29	cody 7,74423 silver badges52 bronze badges
163	31	jmite 29.1k5 gold badges62 silver badges117 bronze badges
153	18	Martin Berger 8,17824 silver badges43 bronze badges
127	28	chi 14.2k1 gold badge26 silver badges35 bronze badges
98	8	Dave Clarke 20k4 gold badges65 silver badges112 bronze badges
92	26	Dan Doel 2,1051 gold badge6 silver badges11 bronze badges
58	1	Edwin Brady 6966 silver badges3 bronze badges
55	9	Uday Reddy 4,2141 gold badge15 silver badges23 bronze badges
54	6	Pseudonym 18.9k1 gold badge36 silver badges66 bronze badges
45	15	D.W.♦ 141k18 gold badges191 silver badges405 bronze badges
43	2	pigworker 5463 silver badges6 bronze badges
43	8	András Kovács 7935 silver badges9 bronze badges
42	1	Ranjit Jhala 5365 silver badges3 bronze badges
37	5	gallais 5633 silver badges12 bronze badges
36	4	gasche 4992 silver badges3 bronze badges
34	1	K. A. Buhr 4513 silver badges4 bronze badges
31	7	Rodolphe Lepigre 7945 silver badges10 bronze badges

144	10	jmite 29.1k5 gold badges62 silver badges117 bronze badges
111	12	MaiaVictor 4,01715 silver badges30 bronze badges
92	14	user56834 3,4644 gold badges16 silver badges26 bronze badges
64	10	盛安安 9145 silver badges14 bronze badges
57	2	Victor 6755 silver badges5 bronze badges
57	10	Jake 3,72818 silver badges33 bronze badges
52	2	Gilles 'SO- stop being evil' 41.9k7 gold badges112 silver badges173 bronze badges
40	1	Squidly 5115 silver badges8 bronze badges
39	5	Juan 6434 silver badges12 bronze badges
38	7	paulotorrens 6793 silver badges9 bronze badges
36	1	dst 3634 silver badges4 bronze badges
36	11	Pushpa 8834 silver badges11 bronze badges
35	15	al pal 5932 silver badges6 bronze badges
33	17	Lance 1,8711 gold badge10 silver badges24 bronze badges
32	2	Guy Coder 5,0322 gold badges27 silver badges62 bronze badges
32	1	Snowball 4234 silver badges6 bronze badges
30	4	gardenhead 2,19011 silver badges19 bronze badges
30	1	Thomas Cook 4094 silver badges4 bronze badges
29	1	Meta 3933 silver badges6 bronze badges
27	1	Hugo Sereno Ferreira 3932 silver badges9 bronze badges