Tag Info

terminology Questions

4	1	gnasher729 14.7k21 silver badges26 bronze badges
4	1	Andrej Bauer 22.2k1 gold badge50 silver badges90 bronze badges
2	1	gandalf61 5636 bronze badges
1	1	arvind kumar soundar rajan 112 bronze badges
1	1	SemanticBeeng 1114 bronze badges
1	1	StefanH 8105 silver badges14 bronze badges

727	137	Yuval Filmus 208k15 gold badges202 silver badges369 bronze badges
700	96	David Richerby 75k16 gold badges117 silver badges208 bronze badges
632	14	Kaveh 18.2k3 gold badges43 silver badges100 bronze badges
511	95	Raphael♦ 59k25 gold badges144 silver badges327 bronze badges
336	26	Gilles♦ 34.7k7 gold badges99 silver badges166 bronze badges
198	23	Andrej Bauer 22.2k1 gold badge50 silver badges90 bronze badges
196	72	D.W.♦ 105k14 gold badges133 silver badges311 bronze badges
179	21	Dave Clarke 17.3k3 gold badges56 silver badges109 bronze badges
160	48	babou 17.6k27 silver badges69 bronze badges
128	20	Luke Mathieson 16.1k3 gold badges46 silver badges79 bronze badges
126	15	jmite 23.7k3 gold badges50 silver badges104 bronze badges
126	1	Daniel Wagner 1,1811 gold badge7 silver badges8 bronze badges
116	19	Wandering Logic 15.3k1 gold badge30 silver badges69 bronze badges
92	3	Anton Trunov 3,2191 gold badge13 silver badges24 bronze badges
88	17	Ran G. 17.1k3 gold badges48 silver badges96 bronze badges
83	7	usul 3,47814 silver badges22 bronze badges
78	7	A.Schulz 11.3k1 gold badge33 silver badges57 bronze badges
78	18	Hendrik Jan 22.3k29 silver badges76 bronze badges
77	16	Vor 10.4k1 gold badge23 silver badges54 bronze badges
77	19	Juho 16.8k5 gold badges43 silver badges93 bronze badges

Simon Garfe

226 bronze badges

266	6	agent154 1,7394 gold badges15 silver badges18 bronze badges
123	30	Tim 1,8954 gold badges19 silver badges49 bronze badges
118	6	jmite 23.7k3 gold badges50 silver badges104 bronze badges
91	1	Jack H 6331 gold badge8 silver badges9 bronze badges
84	3	Dave Clarke 17.3k3 gold badges56 silver badges109 bronze badges
80	1	JFFIGK 5121 gold badge4 silver badges8 bronze badges
73	1	Klangen 5986 silver badges10 bronze badges
59	1	Charles Menguy 5931 gold badge7 silver badges12 bronze badges
50	2	Ran G. 17.1k3 gold badges48 silver badges96 bronze badges
44	1	Frank 7171 gold badge8 silver badges13 bronze badges
42	1	nish1013 3161 gold badge4 silver badges5 bronze badges
40	4	user5507 8834 gold badges15 silver badges36 bronze badges
39	1	GlenPeterson 3203 silver badges10 bronze badges
38	3	Raphael♦ 59k25 gold badges144 silver badges327 bronze badges
37	2	Sheldon 4332 gold badges7 silver badges16 bronze badges
37	1	gracedlamb 2991 gold badge4 silver badges8 bronze badges
36	1	MathematicalOrchid 4125 silver badges10 bronze badges
35	2	yoyo_fun 5133 silver badges15 bronze badges
32	5	gpuguy 7612 gold badges12 silver badges28 bronze badges
32	1	Oleksiy 2631 gold badge3 silver badges6 bronze badges