Tag Info

proof-techniques Questions

Yuval Filmus

212k16 gold badges204 silver badges375 bronze badges

611	51	Raphael♦ 66.4k26 gold badges146 silver badges327 bronze badges
351	116	Yuval Filmus 212k16 gold badges204 silver badges375 bronze badges
166	9	Ran G. 18.4k3 gold badges48 silver badges98 bronze badges
124	31	David Richerby 75.9k17 gold badges117 silver badges208 bronze badges
123	16	Gilles 'SO- stop being evil' 37.3k7 gold badges100 silver badges166 bronze badges
101	24	Hendrik Jan 23k1 gold badge30 silver badges78 bronze badges
91	24	D.W.♦ 111k14 gold badges144 silver badges320 bronze badges
89	8	jmite 25.8k3 gold badges50 silver badges105 bronze badges
85	3	JeffE 7,9411 gold badge30 silver badges47 bronze badges
77	9	Kaveh 19.7k3 gold badges45 silver badges103 bronze badges
69	1	jmad 8,77231 silver badges40 bronze badges
61	1	Romuald 1,1207 silver badges10 bronze badges
60	10	babou 18k28 silver badges69 bronze badges
59	11	Shaull 13.5k1 gold badge21 silver badges50 bronze badges
54	14	Derek Elkins 11.2k1 gold badge24 silver badges39 bronze badges
46	13	Andrej Bauer 22.7k1 gold badge51 silver badges91 bronze badges
46	17	Rick Decker 13.2k3 gold badges31 silver badges47 bronze badges
45	1	Janoma 4,6653 gold badges14 silver badges21 bronze badges
41	9	Ariel 11k1 gold badge14 silver badges33 bronze badges
39	9	Luke Mathieson 16.3k3 gold badges46 silver badges78 bronze badges

2	1	CS1234 232 bronze badges
1	1	user12055579 112 bronze badges
1	2	Yamar69 8792 silver badges10 bronze badges

511	8	Raphael♦ 66.4k26 gold badges146 silver badges327 bronze badges
87	2	Dave Clarke 19.2k3 gold badges56 silver badges110 bronze badges
55	2	D.W.♦ 111k14 gold badges144 silver badges320 bronze badges
51	4	user5507 1,9314 gold badges18 silver badges38 bronze badges
48	1	corium 7991 gold badge6 silver badges9 bronze badges
44	3	templatetypedef 7,4941 gold badge20 silver badges48 bronze badges
32	1	thomas 4214 silver badges3 bronze badges
30	1	user118967 6015 silver badges11 bronze badges
29	1	Nikhil 5493 silver badges9 bronze badges
27	1	Anonymous 2714 silver badges3 bronze badges
25	1	user1594 4411 gold badge6 silver badges9 bronze badges
24	1	edA-qa mort-ora-y 1,48811 silver badges15 bronze badges
24	1	jmite 25.8k3 gold badges50 silver badges105 bronze badges
24	1	hsalin 6436 silver badges7 bronze badges
21	1	Erel Segal-Halevi 4,87413 silver badges44 bronze badges
21	1	saadtaame 3,31015 silver badges32 bronze badges
20	1	Yai0Phah 6014 silver badges13 bronze badges
20	1	tcdowney 3031 gold badge2 silver badges6 bronze badges
20	1	Plummer 4232 silver badges7 bronze badges
18	1	vonbrand 9,2383 gold badges31 silver badges40 bronze badges