Tag Info

proof-techniques Questions

eru-cs

7001 gold badge1 silver badge9 bronze badges

618	51	Raphael♦ 66.9k26 gold badges150 silver badges332 bronze badges
357	118	Yuval Filmus 216k16 gold badges209 silver badges382 bronze badges
166	9	Ran G. 18.7k3 gold badges48 silver badges99 bronze badges
125	31	David Richerby 76.6k17 gold badges118 silver badges211 bronze badges
123	16	Gilles 'SO- stop being evil' 37.6k7 gold badges101 silver badges166 bronze badges
101	24	Hendrik Jan 23.4k1 gold badge30 silver badges79 bronze badges
100	27	D.W.♦ 115k14 gold badges151 silver badges330 bronze badges
89	8	jmite 25.9k3 gold badges51 silver badges107 bronze badges
87	3	JeffE 7,9911 gold badge30 silver badges47 bronze badges
77	9	Kaveh 20k3 gold badges45 silver badges104 bronze badges
69	1	jmad 8,81231 silver badges40 bronze badges
61	1	Romuald 1,1207 silver badges10 bronze badges
60	12	Shaull 14.1k1 gold badge22 silver badges51 bronze badges
60	10	babou 18.1k28 silver badges70 bronze badges
54	14	Derek Elkins left SE 11.3k1 gold badge25 silver badges40 bronze badges
46	13	Andrej Bauer 23.4k1 gold badge54 silver badges93 bronze badges
46	17	Rick Decker 13.3k3 gold badges32 silver badges47 bronze badges
45	1	Janoma 4,8753 gold badges14 silver badges21 bronze badges
41	9	Ariel 11k1 gold badge15 silver badges33 bronze badges
39	9	Luke Mathieson 16.4k3 gold badges47 silver badges78 bronze badges

1	1	Nassims 111 bronze badge
1	1	Patrick Browne 1597 bronze badges

513	8	Raphael♦ 66.9k26 gold badges150 silver badges332 bronze badges
88	2	Dave Clarke 19.2k3 gold badges56 silver badges110 bronze badges
56	2	D.W.♦ 115k14 gold badges151 silver badges330 bronze badges
51	4	user5507 1,9414 gold badges18 silver badges38 bronze badges
48	1	corium 7991 gold badge6 silver badges9 bronze badges
44	3	templatetypedef 7,7441 gold badge20 silver badges49 bronze badges
32	1	thomas 4214 silver badges3 bronze badges
30	1	user118967 6015 silver badges11 bronze badges
29	1	Nikhil 5494 silver badges9 bronze badges
29	1	Anonymous 2914 silver badges3 bronze badges
27	1	user1594 4611 gold badge6 silver badges9 bronze badges
24	1	edA-qa mort-ora-y 1,48811 silver badges15 bronze badges
24	1	jmite 25.9k3 gold badges51 silver badges107 bronze badges
24	1	hsalin 6436 silver badges7 bronze badges
22	1	saadtaame 3,35016 silver badges32 bronze badges
21	1	Erel Segal-Halevi 4,97614 silver badges45 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	3	hengxin 8,4881 gold badge22 silver badges53 bronze badges