Tag Info

terminology Questions

10	1	gandalf61 1,1008 bronze badges
7	1	Ryan1729 3051 silver badge9 bronze badges
5	3	David Richerby 75.8k17 gold badges117 silver badges208 bronze badges
5	1	Yuval Filmus 212k16 gold badges204 silver badges375 bronze badges
4	2	J D 1614 bronze badges
3	1	gnasher729 15.8k22 silver badges28 bronze badges
3	1	reinierpost 3,52016 silver badges27 bronze badges
2	1	HEKTO 2,0759 silver badges15 bronze badges
2	1	Andrej Bauer 22.6k1 gold badge51 silver badges91 bronze badges
1	1	Vasco Lemoine 113 bronze badges
1	1	Jun-Dai Bates-Kobashigawa 1111 bronze badge
1	1	D.W.♦ 111k14 gold badges143 silver badges319 bronze badges

738	138	Yuval Filmus 212k16 gold badges204 silver badges375 bronze badges
707	99	David Richerby 75.8k17 gold badges117 silver badges208 bronze badges
641	14	Kaveh 19.7k3 gold badges45 silver badges103 bronze badges
512	95	Raphael♦ 66.4k26 gold badges146 silver badges327 bronze badges
342	27	Gilles 'SO- stop being evil' 37.3k7 gold badges100 silver badges166 bronze badges
204	74	D.W.♦ 111k14 gold badges143 silver badges319 bronze badges
201	24	Andrej Bauer 22.6k1 gold badge51 silver badges91 bronze badges
180	21	Dave Clarke 19.2k3 gold badges56 silver badges110 bronze badges
160	48	babou 18k28 silver badges69 bronze badges
129	20	Luke Mathieson 16.3k3 gold badges46 silver badges78 bronze badges
126	15	jmite 25.7k3 gold badges50 silver badges105 bronze badges
124	1	Daniel Wagner 1,1711 gold badge7 silver badges8 bronze badges
117	19	Wandering Logic 15.8k1 gold badge32 silver badges71 bronze badges
92	3	Anton Trunov 3,2291 gold badge13 silver badges24 bronze badges
88	17	Ran G. 18.4k3 gold badges48 silver badges98 bronze badges
84	7	usul 3,74015 silver badges23 bronze badges
79	7	A.Schulz 11.4k1 gold badge33 silver badges59 bronze badges
78	18	Hendrik Jan 23k1 gold badge30 silver badges78 bronze badges
78	16	Vor 11.6k1 gold badge24 silver badges54 bronze badges
77	19	Juho 17.9k5 gold badges45 silver badges94 bronze badges

9	7	JohnDoea 198 bronze badges
1	1	Martin Herrmann 111 bronze badge

270	6	agent154 3,3494 gold badges15 silver badges18 bronze badges
124	30	Tim 3,8974 gold badges19 silver badges50 bronze badges
120	6	jmite 25.7k3 gold badges50 silver badges105 bronze badges
92	1	Jack H 1,1831 gold badge10 silver badges9 bronze badges
86	3	Dave Clarke 19.2k3 gold badges56 silver badges110 bronze badges
81	1	JFFIGK 9271 gold badge4 silver badges9 bronze badges
75	1	Klangen 1,0987 silver badges11 bronze badges
61	1	Charles Menguy 1,1231 gold badge10 silver badges12 bronze badges
51	2	Ran G. 18.4k3 gold badges48 silver badges98 bronze badges
44	1	nish1013 5511 gold badge5 silver badges5 bronze badges
44	1	Frank 1,3321 gold badge11 silver badges13 bronze badges
40	1	GlenPeterson 5354 silver badges10 bronze badges
40	4	user5507 1,9334 gold badges18 silver badges38 bronze badges
40	3	Raphael♦ 66.4k26 gold badges146 silver badges327 bronze badges
38	1	gracedlamb 5091 gold badge5 silver badges8 bronze badges
38	2	Sheldon 7432 gold badges8 silver badges16 bronze badges
37	2	yoyo_fun 7684 silver badges15 bronze badges
37	1	MathematicalOrchid 7376 silver badges10 bronze badges
33	1	Oleksiy 4331 gold badge4 silver badges6 bronze badges
33	5	gpuguy 1,4713 gold badges15 silver badges29 bronze badges