Tag Info

proof-techniques Questions

4	1	Eric 1435 bronze badges
2	1	Matt Timmermans 4642 silver badges6 bronze badges

654	51	Raphael♦ 70.8k27 gold badges166 silver badges366 bronze badges
465	146	Yuval Filmus 269k26 gold badges291 silver badges472 bronze badges
182	9	Ran G. 20.3k3 gold badges55 silver badges110 bronze badges
136	18	Gilles 'SO- stop being evil' 41.8k7 gold badges112 silver badges173 bronze badges
128	31	David Richerby 80.1k26 gold badges132 silver badges227 bronze badges
119	31	D.W.♦ 140k18 gold badges189 silver badges402 bronze badges
110	24	Hendrik Jan 27.2k1 gold badge42 silver badges93 bronze badges
104	3	JeffE 8,5631 gold badge34 silver badges47 bronze badges
90	8	jmite 29.1k5 gold badges61 silver badges117 bronze badges
82	9	Kaveh 21.6k4 gold badges49 silver badges107 bronze badges
73	1	jmad 9,3491 gold badge36 silver badges41 bronze badges
71	1	Romuald 1,2308 silver badges12 bronze badges
64	4	Tom van der Zanden 13k1 gold badge33 silver badges52 bronze badges
64	12	Shaull 16.2k1 gold badge29 silver badges57 bronze badges
63	10	babou 19.1k36 silver badges73 bronze badges
55	15	Andrej Bauer 28k1 gold badge66 silver badges108 bronze badges
55	14	Derek Elkins left SE 11.8k1 gold badge27 silver badges41 bronze badges
50	17	Rick Decker 14.5k5 gold badges39 silver badges52 bronze badges
47	1	Janoma 5,2953 gold badges18 silver badges21 bronze badges
44	10	Ariel 13.2k1 gold badge19 silver badges36 bronze badges

2	1	universityofwashingtoncoder 432 bronze badges
1	1	Ralff 1534 bronze badges

572	8	Raphael♦ 70.8k27 gold badges166 silver badges366 bronze badges
95	2	Dave Clarke 20k4 gold badges65 silver badges112 bronze badges
69	2	D.W.♦ 140k18 gold badges189 silver badges402 bronze badges
54	4	user5507 2,1114 gold badges24 silver badges40 bronze badges
52	1	corium 8591 gold badge7 silver badges9 bronze badges
46	3	templatetypedef 8,8071 gold badge27 silver badges58 bronze badges
37	1	Anonymous 3711 gold badge4 silver badges3 bronze badges
34	1	Nikhil 5994 silver badges9 bronze badges
33	1	user118967 6415 silver badges12 bronze badges
32	1	thomas 4214 silver badges3 bronze badges
31	1	user1594 5011 gold badge6 silver badges9 bronze badges
27	16	Lance 1,8731 gold badge10 silver badges24 bronze badges
25	1	edA-qa mort-ora-y 1,52812 silver badges15 bronze badges
25	1	hsalin 7037 silver badges7 bronze badges
24	1	jmite 29.1k5 gold badges61 silver badges117 bronze badges
23	1	mrk 3,57020 silver badges34 bronze badges
21	1	Erel Segal-Halevi 5,6641 gold badge19 silver badges53 bronze badges
21	1	Yai0Phah 6215 silver badges13 bronze badges
20	1	tcdowney 3031 gold badge2 silver badges7 bronze badges
20	3	hengxin 9,1792 gold badges28 silver badges63 bronze badges