Tag Info

proof-techniques Questions

5	1	John L. 23.5k3 gold badges18 silver badges60 bronze badges
2	2	plshelp 3928 bronze badges
2	1	user41805 2035 bronze badges
2	1	Steven 9,5551 gold badge13 silver badges26 bronze badges
2	1	Yuval Filmus 229k18 gold badges225 silver badges397 bronze badges

628	51	Raphael♦ 68.1k27 gold badges153 silver badges340 bronze badges
381	130	Yuval Filmus 229k18 gold badges225 silver badges397 bronze badges
169	9	Ran G. 19.1k3 gold badges49 silver badges102 bronze badges
127	16	Gilles 'SO- stop being evil' 38.7k7 gold badges103 silver badges167 bronze badges
126	31	David Richerby 77.8k17 gold badges121 silver badges217 bronze badges
107	28	D.W.♦ 122k16 gold badges160 silver badges347 bronze badges
105	24	Hendrik Jan 23.9k1 gold badge31 silver badges82 bronze badges
91	3	JeffE 8,1911 gold badge32 silver badges47 bronze badges
89	8	jmite 27.5k5 gold badges57 silver badges110 bronze badges
77	9	Kaveh 20.6k3 gold badges46 silver badges104 bronze badges
70	1	jmad 8,96233 silver badges40 bronze badges
62	1	Romuald 1,1307 silver badges10 bronze badges
62	10	babou 18.4k29 silver badges71 bronze badges
60	12	Shaull 14.4k1 gold badge23 silver badges51 bronze badges
54	14	Derek Elkins left SE 11.5k1 gold badge25 silver badges41 bronze badges
50	14	Andrej Bauer 24.6k1 gold badge57 silver badges95 bronze badges
50	17	Rick Decker 13.8k3 gold badges33 silver badges48 bronze badges
44	1	Janoma 5,0453 gold badges15 silver badges21 bronze badges
43	10	Luke Mathieson 16.8k3 gold badges49 silver badges80 bronze badges
43	10	Ariel 11.5k1 gold badge16 silver badges33 bronze badges

5	2	Abhishek Ghosh 6481 silver badge9 bronze badges
1	1	Atsina 1132 bronze badges
1	1	PedrV 455 bronze badges

525	8	Raphael♦ 68.1k27 gold badges153 silver badges340 bronze badges
90	2	Dave Clarke 19.4k3 gold badges58 silver badges111 bronze badges
59	2	D.W.♦ 122k16 gold badges160 silver badges347 bronze badges
52	4	user5507 1,9714 gold badges19 silver badges38 bronze badges
50	1	corium 8191 gold badge7 silver badges9 bronze badges
45	3	templatetypedef 8,0161 gold badge22 silver badges52 bronze badges
33	1	Anonymous 3314 silver badges3 bronze badges
32	1	thomas 4214 silver badges3 bronze badges
31	1	user118967 6115 silver badges11 bronze badges
30	1	Nikhil 5594 silver badges9 bronze badges
28	1	user1594 4711 gold badge6 silver badges9 bronze badges
24	1	edA-qa mort-ora-y 1,49811 silver badges15 bronze badges
24	1	jmite 27.5k5 gold badges57 silver badges110 bronze badges
24	1	hsalin 6536 silver badges7 bronze badges
23	1	mrk 3,44017 silver badges33 bronze badges
21	1	Erel Segal-Halevi 5,06815 silver badges48 bronze badges
21	1	Yai0Phah 6214 silver badges13 bronze badges
20	1	tcdowney 3031 gold badge2 silver badges6 bronze badges
20	1	Plummer 4232 silver badges7 bronze badges
20	15	Lance Pollard 1,7438 silver badges19 bronze badges