Tag Info

semantics Questions

7	1	Andrej Bauer 22.7k1 gold badge60 silver badges108 bronze badges
2	1	Dan Doel 4214 silver badges6 bronze badges
1	1	Henry Story 2251 silver badge8 bronze badges

146	12	Neel Krishnaswami 27.2k81 silver badges154 bronze badges
107	13	Uday Reddy 4,19124 silver badges36 bronze badges
94	9	Martin Berger 9,4902 gold badges31 silver badges61 bronze badges
84	10	Andrej Bauer 22.7k1 gold badge60 silver badges108 bronze badges
67	6	Dave Clarke 15.2k3 gold badges53 silver badges103 bronze badges
44	3	Marc Hamann 2,5041 gold badge20 silver badges22 bronze badges
22	3	gasche 1,5621 gold badge12 silver badges13 bronze badges
21	2	Gilles 2,3471 gold badge23 silver badges33 bronze badges
20	2	Ohad Kammar 1,96219 silver badges24 bronze badges
20	1	Radu GRIGore 4,05125 silver badges68 bronze badges
19	3	Vijay D 11.4k2 gold badges29 silver badges58 bronze badges
18	3	cody 11.7k34 silver badges66 bronze badges
17	2	Damiano Mazza 3,7931 gold badge16 silver badges31 bronze badges
17	2	Sam Tobin-Hochstadt 1,81710 silver badges20 bronze badges
14	1	Noam Zeilberger 3,57019 silver badges31 bronze badges
14	2	Charles Stewart 3,87123 silver badges45 bronze badges
12	1	Shiva Kintali 6,46831 silver badges71 bronze badges
12	1	Matt Might 9695 silver badges6 bronze badges
10	2	xrq 6932 silver badges14 bronze badges
10	1	sclv 1,2741 gold badge14 silver badges16 bronze badges

7	1	user833970 3611 silver badge10 bronze badges
3	1	Mike Shulman 2831 silver badge10 bronze badges

76	4	Ohad Kammar 1,96219 silver badges24 bronze badges
31	1	Jay 5525 silver badges16 bronze badges
24	1	Martin 1215 bronze badges
20	1	gigabytes 5524 silver badges17 bronze badges
20	1	Uday Reddy 4,19124 silver badges36 bronze badges
19	1	Shane 1,1983 gold badges19 silver badges24 bronze badges
17	1	systemsfault 1885 bronze badges
17	1	Jason 2421 silver badge7 bronze badges
16	3	Pat 844 bronze badges
16	1	Tim 3071 silver badge12 bronze badges
15	1	Phillip Mates 1807 bronze badges
15	1	Anonymous 1,89813 silver badges36 bronze badges
15	2	Neel Krishnaswami 27.2k81 silver badges154 bronze badges
11	1	Henrik Sommerland 1584 bronze badges
10	1	Clément 1915 bronze badges
10	1	Opt 88611 silver badges20 bronze badges
10	1	day 1,28513 silver badges26 bronze badges
10	1	Ben 3561 gold badge4 silver badges5 bronze badges
9	1	mrsteve 2181 silver badge10 bronze badges
9	1	user1260776 485 bronze badges