Tag Info

proof-techniques Questions

2	1	KGhatak 2192 silver badges14 bronze badges
2	1	rici 8,19713 silver badges32 bronze badges

641	51	Raphael♦ 69.5k27 gold badges158 silver badges353 bronze badges
411	141	Yuval Filmus 250k25 gold badges261 silver badges437 bronze badges
177	9	Ran G. 19.4k3 gold badges51 silver badges103 bronze badges
134	18	Gilles 'SO- stop being evil' 40.2k7 gold badges108 silver badges171 bronze badges
128	31	David Richerby 78.8k25 gold badges125 silver badges219 bronze badges
114	30	D.W.♦ 130k18 gold badges176 silver badges369 bronze badges
109	26	Hendrik Jan 25.1k1 gold badge36 silver badges86 bronze badges
95	3	JeffE 8,3531 gold badge33 silver badges47 bronze badges
90	8	jmite 28.3k5 gold badges58 silver badges113 bronze badges
80	9	Kaveh 21.1k3 gold badges47 silver badges107 bronze badges
73	1	jmad 9,2091 gold badge34 silver badges41 bronze badges
66	1	Romuald 1,1707 silver badges11 bronze badges
64	4	Tom van der Zanden 12.7k1 gold badge31 silver badges49 bronze badges
63	10	babou 18.6k31 silver badges73 bronze badges
61	12	Shaull 15.3k1 gold badge28 silver badges55 bronze badges
55	15	Andrej Bauer 26.7k1 gold badge61 silver badges103 bronze badges
55	14	Derek Elkins left SE 11.6k1 gold badge26 silver badges41 bronze badges
50	17	Rick Decker 14.1k5 gold badges38 silver badges50 bronze badges
46	1	Janoma 5,1753 gold badges16 silver badges21 bronze badges
43	10	Luke Mathieson 17.4k4 gold badges49 silver badges82 bronze badges

4	2	Abhishek Ghosh 6922 silver badges12 bronze badges
2	1	muhammad haris 1211 bronze badge
1	1	Ukatoon 111 bronze badge

546	8	Raphael♦ 69.5k27 gold badges158 silver badges353 bronze badges
93	2	Dave Clarke 19.7k3 gold badges61 silver badges112 bronze badges
62	2	D.W.♦ 130k18 gold badges176 silver badges369 bronze badges
52	4	user5507 2,0214 gold badges21 silver badges39 bronze badges
51	1	corium 8291 gold badge7 silver badges9 bronze badges
44	3	templatetypedef 8,3621 gold badge23 silver badges55 bronze badges
34	1	Anonymous 3411 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
29	1	user1594 4811 gold badge6 silver badges9 bronze badges
26	16	Lance Pollard 1,8679 silver badges23 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.3k5 gold badges58 silver badges113 bronze badges
23	1	mrk 3,49018 silver badges33 bronze badges
21	1	Erel Segal-Halevi 5,2141 gold badge16 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