Tag Info

proof-techniques Questions

2	1	Yuval Filmus 234k18 gold badges237 silver badges412 bronze badges
1	1	Optidad 1,5514 silver badges12 bronze badges
1	1	Gilles 'SO- stop being evil' 39.1k7 gold badges103 silver badges167 bronze badges

635	51	Raphael♦ 68.5k27 gold badges155 silver badges348 bronze badges
393	132	Yuval Filmus 234k18 gold badges237 silver badges412 bronze badges
171	9	Ran G. 19.1k3 gold badges50 silver badges103 bronze badges
131	18	Gilles 'SO- stop being evil' 39.1k7 gold badges103 silver badges167 bronze badges
127	31	David Richerby 78k17 gold badges123 silver badges218 bronze badges
109	29	D.W.♦ 125k16 gold badges167 silver badges354 bronze badges
105	24	Hendrik Jan 24.2k1 gold badge33 silver badges85 bronze badges
92	3	JeffE 8,2411 gold badge32 silver badges47 bronze badges
90	8	jmite 27.8k5 gold badges57 silver badges110 bronze badges
77	9	Kaveh 20.8k3 gold badges46 silver badges105 bronze badges
70	1	jmad 9,00233 silver badges40 bronze badges
65	1	Romuald 1,1607 silver badges10 bronze badges
63	4	Tom van der Zanden 12.5k1 gold badge30 silver badges49 bronze badges
62	10	babou 18.5k31 silver badges73 bronze badges
60	12	Shaull 14.6k1 gold badge24 silver badges53 bronze badges
55	15	Andrej Bauer 25.4k1 gold badge57 silver badges98 bronze badges
55	14	Derek Elkins left SE 11.6k1 gold badge25 silver badges41 bronze badges
50	17	Rick Decker 13.9k3 gold badges34 silver badges49 bronze badges
44	1	Janoma 5,0753 gold badges15 silver badges21 bronze badges
44	10	Ariel 11.6k1 gold badge16 silver badges33 bronze badges

4	1	Patrick Browne 2991 silver badge7 bronze badges
1	1	Black Jack 21 1896 bronze badges
1	1	Sajuuk 1455 bronze badges

533	8	Raphael♦ 68.5k27 gold badges155 silver badges348 bronze badges
93	2	Dave Clarke 19.5k3 gold badges58 silver badges112 bronze badges
62	2	D.W.♦ 125k16 gold badges167 silver badges354 bronze badges
52	4	user5507 1,9914 gold badges19 silver badges38 bronze badges
50	1	corium 8191 gold badge7 silver badges9 bronze badges
45	3	templatetypedef 8,1661 gold badge22 silver badges53 bronze badges
33	1	Anonymous 3314 silver badges3 bronze badges
32	1	Nikhil 5794 silver badges9 bronze badges
32	1	user118967 6215 silver badges11 bronze badges
32	1	thomas 4214 silver badges3 bronze badges
29	1	user1594 4811 gold badge6 silver badges9 bronze badges
24	1	edA-qa mort-ora-y 1,49811 silver badges15 bronze badges
24	1	jmite 27.8k5 gold badges57 silver badges110 bronze badges
24	1	hsalin 6536 silver badges7 bronze badges
23	1	mrk 3,45018 silver badges33 bronze badges
22	16	Lance Pollard 1,9379 silver badges20 bronze badges
21	1	Erel Segal-Halevi 5,2061 gold badge15 silver badges48 bronze badges
21	1	Yai0Phah 6214 silver badges13 bronze badges
20	1	tcdowney 3031 gold badge2 silver badges7 bronze badges
20	1	Plummer 4232 silver badges7 bronze badges