Tag Info

proof-techniques Questions

1	1	idmean 5552 silver badges10 bronze badges
1	1	D.W.♦ 133k18 gold badges180 silver badges381 bronze badges

645	51	Raphael♦ 69.9k27 gold badges161 silver badges355 bronze badges
416	141	Yuval Filmus 256k25 gold badges268 silver badges448 bronze badges
179	9	Ran G. 19.8k3 gold badges51 silver badges104 bronze badges
134	18	Gilles 'SO- stop being evil' 40.8k7 gold badges108 silver badges171 bronze badges
128	31	David Richerby 79.1k25 gold badges125 silver badges221 bronze badges
116	31	D.W.♦ 133k18 gold badges180 silver badges381 bronze badges
109	24	Hendrik Jan 25.8k1 gold badge37 silver badges87 bronze badges
96	3	JeffE 8,3831 gold badge33 silver badges47 bronze badges
90	8	jmite 28.7k5 gold badges59 silver badges115 bronze badges
80	9	Kaveh 21.3k3 gold badges48 silver badges107 bronze badges
73	1	jmad 9,2291 gold badge35 silver badges41 bronze badges
68	1	Romuald 1,1907 silver badges11 bronze badges
64	4	Tom van der Zanden 12.7k1 gold badge31 silver badges49 bronze badges
63	10	babou 18.7k32 silver badges73 bronze badges
62	12	Shaull 15.6k1 gold badge28 silver badges56 bronze badges
55	14	Derek Elkins left SE 11.7k1 gold badge26 silver badges41 bronze badges
55	15	Andrej Bauer 27k1 gold badge62 silver badges105 bronze badges
50	17	Rick Decker 14.3k5 gold badges38 silver badges50 bronze badges
46	1	Janoma 5,1853 gold badges16 silver badges21 bronze badges
44	10	Ariel 13k1 gold badge17 silver badges36 bronze badges

Kai

256 bronze badges

550	8	Raphael♦ 69.9k27 gold badges161 silver badges355 bronze badges
93	2	Dave Clarke 19.8k3 gold badges61 silver badges112 bronze badges
62	2	D.W.♦ 133k18 gold badges180 silver badges381 bronze badges
53	4	user5507 2,0314 gold badges21 silver badges39 bronze badges
51	1	corium 8291 gold badge7 silver badges9 bronze badges
45	3	templatetypedef 8,5871 gold badge26 silver badges56 bronze badges
35	1	Anonymous 3511 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 1,9839 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.7k5 gold badges59 silver badges115 bronze badges
23	1	mrk 3,50018 silver badges33 bronze badges
21	1	Erel Segal-Halevi 5,4721 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