Tag Info

proof-techniques Questions

2	1	Steven 19.5k2 gold badges17 silver badges37 bronze badges
1	1	Yuval Filmus 259k25 gold badges272 silver badges453 bronze badges

648	51	Raphael♦ 70.1k27 gold badges162 silver badges358 bronze badges
415	142	Yuval Filmus 259k25 gold badges272 silver badges453 bronze badges
180	9	Ran G. 19.9k3 gold badges51 silver badges107 bronze badges
134	18	Gilles 'SO- stop being evil' 41k7 gold badges108 silver badges172 bronze badges
127	31	David Richerby 79.4k25 gold badges127 silver badges223 bronze badges
116	31	D.W.♦ 134k18 gold badges180 silver badges385 bronze badges
109	24	Hendrik Jan 26.2k1 gold badge39 silver badges89 bronze badges
97	3	JeffE 8,4431 gold badge33 silver badges47 bronze badges
90	8	jmite 28.8k5 gold badges59 silver badges117 bronze badges
82	9	Kaveh 21.4k3 gold badges48 silver badges107 bronze badges
73	1	jmad 9,2591 gold badge35 silver badges41 bronze badges
69	1	Romuald 1,2007 silver badges11 bronze badges
64	4	Tom van der Zanden 12.7k1 gold badge31 silver badges49 bronze badges
63	12	Shaull 15.7k1 gold badge28 silver badges56 bronze badges
63	10	babou 18.7k33 silver badges73 bronze badges
55	15	Andrej Bauer 27.2k1 gold badge63 silver badges105 bronze badges
55	14	Derek Elkins left SE 11.7k1 gold badge26 silver badges41 bronze badges
50	17	Rick Decker 14.4k5 gold badges38 silver badges50 bronze badges
46	1	Janoma 5,2353 gold badges17 silver badges21 bronze badges
44	10	Luke Mathieson 17.6k4 gold badges51 silver badges83 bronze badges

John Smith

211 bronze badge

553	8	Raphael♦ 70.1k27 gold badges162 silver badges358 bronze badges
93	2	Dave Clarke 19.8k3 gold badges63 silver badges112 bronze badges
63	2	D.W.♦ 134k18 gold badges180 silver badges385 bronze badges
54	4	user5507 2,0314 gold badges21 silver badges39 bronze badges
51	1	corium 8491 gold badge7 silver badges9 bronze badges
46	3	templatetypedef 8,6871 gold badge26 silver badges57 bronze badges
36	1	Anonymous 3611 gold badge4 silver badges3 bronze badges
33	1	Nikhil 5894 silver badges9 bronze badges
32	1	user118967 6315 silver badges11 bronze badges
32	1	thomas 4214 silver badges3 bronze badges
31	1	user1594 5011 gold badge6 silver badges9 bronze badges
27	16	Lance Pollard 2,00610 silver badges24 bronze badges
25	1	edA-qa mort-ora-y 1,51812 silver badges15 bronze badges
25	1	hsalin 6837 silver badges7 bronze badges
24	1	jmite 28.8k5 gold badges59 silver badges117 bronze badges
23	1	mrk 3,53019 silver badges33 bronze badges
21	1	Erel Segal-Halevi 5,4861 gold badge18 silver badges48 bronze badges
21	1	Yai0Phah 6215 silver badges13 bronze badges
20	1	tcdowney 3031 gold badge2 silver badges7 bronze badges
20	1	Plummer 4232 silver badges7 bronze badges