Tag Info

type-theory Questions

2	1	varkor 5265 bronze badges
2	1	Andrej Bauer 26.5k1 gold badge61 silver badges102 bronze badges

537	80	Andrej Bauer 26.5k1 gold badge61 silver badges102 bronze badges
310	34	Gilles 'SO- stop being evil' 39.9k7 gold badges107 silver badges171 bronze badges
215	29	Derek Elkins left SE 11.6k1 gold badge26 silver badges41 bronze badges
174	28	cody 7,47318 silver badges49 bronze badges
148	28	jmite 28.2k5 gold badges57 silver badges113 bronze badges
145	18	Martin Berger 7,90321 silver badges43 bronze badges
125	28	chi 13.8k1 gold badge25 silver badges35 bronze badges
93	8	Dave Clarke 19.7k3 gold badges60 silver badges112 bronze badges
81	22	Dan Doel 1,8051 gold badge4 silver badges10 bronze badges
55	9	Uday Reddy 4,0841 gold badge13 silver badges22 bronze badges
55	1	Edwin Brady 6666 silver badges3 bronze badges
52	6	Pseudonym 14.7k1 gold badge29 silver badges54 bronze badges
45	15	D.W.♦ 129k18 gold badges175 silver badges368 bronze badges
43	2	pigworker 5463 silver badges6 bronze badges
39	1	Ranjit Jhala 5064 silver badges3 bronze badges
37	5	gallais 5633 silver badges12 bronze badges
35	4	gasche 4892 silver badges3 bronze badges
32	1	K. A. Buhr 4312 silver badges4 bronze badges
31	7	Rodolphe Lepigre 7944 silver badges10 bronze badges
30	6	András Kovács 6383 silver badges7 bronze badges

2	1	D. Ben Knoble 6013 silver badges11 bronze badges
2	1	user56834 4,5264 gold badges14 silver badges23 bronze badges
1	1	thoughtpolice 1933 bronze badges

135	10	jmite 28.2k5 gold badges57 silver badges113 bronze badges
110	12	MaiaVictor 3,93914 silver badges29 bronze badges
69	12	user56834 4,5264 gold badges14 silver badges23 bronze badges
63	10	盛安安 9045 silver badges14 bronze badges
54	2	Victor 6455 silver badges5 bronze badges
54	10	Jake 3,60816 silver badges33 bronze badges
50	2	Gilles 'SO- stop being evil' 39.9k7 gold badges107 silver badges171 bronze badges
40	1	Squidly 5115 silver badges8 bronze badges
38	5	Juan 6333 silver badges12 bronze badges
36	1	dst 3634 silver badges4 bronze badges
34	11	Pushpa 8534 silver badges11 bronze badges
33	6	paulotorrens 6193 silver badges9 bronze badges
32	1	Snowball 4233 silver badges6 bronze badges
32	2	Guy Coder 4,8611 gold badge24 silver badges60 bronze badges
29	13	al pal 5311 silver badge6 bronze badges
28	1	Thomas Cook 3893 silver badges4 bronze badges
28	4	gardenhead 2,1008 silver badges18 bronze badges
28	1	Meta 3833 silver badges6 bronze badges
26	2	Jon Purdy 3651 silver badge8 bronze badges
26	1	Hugo Sereno Ferreira 3832 silver badges9 bronze badges