Tag Info

semantics Questions

Noam Zeilberger

4,02020 silver badges31 bronze badges

148	12	Neel Krishnaswami 30k87 silver badges156 bronze badges
107	13	Uday Reddy 4,54625 silver badges37 bronze badges
96	9	Martin Berger 9,9153 gold badges32 silver badges61 bronze badges
84	10	Andrej Bauer 24.2k1 gold badge65 silver badges109 bronze badges
68	6	Dave Clarke 16.3k3 gold badges57 silver badges105 bronze badges
44	3	Marc Hamann 2,7541 gold badge21 silver badges22 bronze badges
22	3	gasche 1,5821 gold badge13 silver badges13 bronze badges
21	2	Gilles 'SO- stop being evil' 2,5271 gold badge24 silver badges33 bronze badges
20	2	Ohad Kammar 2,60720 silver badges26 bronze badges
20	1	Radu GRIGore 4,60626 silver badges68 bronze badges
20	2	Noam Zeilberger 4,02020 silver badges31 bronze badges
19	3	cody 12.3k1 gold badge36 silver badges70 bronze badges
19	3	Vijay D 11.9k2 gold badges30 silver badges58 bronze badges
17	2	Sam Tobin-Hochstadt 1,83711 silver badges21 bronze badges
17	2	Damiano Mazza 4,2381 gold badge17 silver badges31 bronze badges
14	2	Charles Stewart 4,23625 silver badges45 bronze badges
12	1	Matt Might 1,0096 silver badges6 bronze badges
12	1	Shiva Kintali 10.4k36 silver badges73 bronze badges
10	1	sclv 1,3441 gold badge14 silver badges17 bronze badges
10	2	xrq 1,0353 silver badges14 bronze badges

Tim

5362 silver badges14 bronze badges

78	4	Ohad Kammar 2,60720 silver badges26 bronze badges
32	1	Jay 9227 silver badges16 bronze badges
26	1	Martin 2612 silver badges5 bronze badges
21	1	gigabytes 8627 silver badges17 bronze badges
20	1	Uday Reddy 4,54625 silver badges37 bronze badges
19	1	Shane 2,1533 gold badges24 silver badges24 bronze badges
18	2	Tim 5362 silver badges14 bronze badges
17	1	systemsfault 2731 silver badge5 bronze badges
17	1	Jason 3871 silver badge7 bronze badges
16	3	Pat 1694 bronze badges
15	2	Neel Krishnaswami 30k87 silver badges156 bronze badges
15	1	Phillip Mates 4552 silver badges7 bronze badges
15	1	Anonymous 3,90315 silver badges40 bronze badges
11	1	Ben 7411 gold badge6 silver badges5 bronze badges
11	1	Henrik Sommerland 2131 silver badge4 bronze badges
10	1	Opt 1,26114 silver badges20 bronze badges
10	1	day 2,46517 silver badges26 bronze badges
10	1	Clément 2811 silver badge5 bronze badges
9	1	mrsteve 4332 silver badges10 bronze badges
9	1	user1260776 935 bronze badges