Tag Info

proof-techniques Questions

1	1	Gary Drocella 666 bronze badges
1	1	gnasher729 28.4k32 silver badges51 bronze badges

672	51	Raphael♦ 72.1k28 gold badges177 silver badges385 bronze badges
480	146	Yuval Filmus 275k27 gold badges304 silver badges499 bronze badges
186	9	Ran G. 20.6k3 gold badges59 silver badges115 bronze badges
138	18	Gilles 'SO- stop being evil' 43.3k7 gold badges117 silver badges182 bronze badges
137	33	D.W.♦ 156k20 gold badges224 silver badges462 bronze badges
131	31	David Richerby 81.4k26 gold badges139 silver badges234 bronze badges
114	25	Hendrik Jan 29.9k1 gold badge51 silver badges103 bronze badges
105	3	JeffE 8,6631 gold badge35 silver badges47 bronze badges
90	8	jmite 29.7k5 gold badges64 silver badges119 bronze badges
84	13	Shaull 17k1 gold badge34 silver badges62 bronze badges
82	9	Kaveh 22.2k4 gold badges50 silver badges110 bronze badges
76	17	Andrej Bauer 30k1 gold badge70 silver badges115 bronze badges
75	1	Romuald 1,2808 silver badges13 bronze badges
73	1	jmad 9,4381 gold badge37 silver badges41 bronze badges
67	4	Tom van der Zanden 13.2k1 gold badge35 silver badges54 bronze badges
65	10	babou 19.4k40 silver badges76 bronze badges
56	14	Derek Elkins left SE 12k1 gold badge28 silver badges43 bronze badges
50	17	Rick Decker 14.8k5 gold badges41 silver badges53 bronze badges
49	1	Janoma 5,5053 gold badges19 silver badges21 bronze badges
46	10	Ariel 13.3k1 gold badge20 silver badges38 bronze badges

Gary Drocella

666 bronze badges

584	8	Raphael♦ 72.1k28 gold badges177 silver badges385 bronze badges
97	2	Dave Clarke 20.2k4 gold badges67 silver badges113 bronze badges
76	2	D.W.♦ 156k20 gold badges224 silver badges462 bronze badges
54	4	user5507 2,1814 gold badges24 silver badges41 bronze badges
53	1	corium 8791 gold badge8 silver badges9 bronze badges
48	3	templatetypedef 9,0371 gold badge30 silver badges60 bronze badges
37	1	Anonymous 3711 gold badge4 silver badges3 bronze badges
34	1	Nikhil 6096 silver badges12 bronze badges
33	1	user118967 6415 silver badges13 bronze badges
32	16	Lance 2,1631 gold badge16 silver badges30 bronze badges
32	1	thomas 4214 silver badges3 bronze badges
32	1	user1594 5211 gold badge6 silver badges9 bronze badges
27	1	hsalin 7337 silver badges7 bronze badges
25	1	proof-of-correctness 3592 silver badges7 bronze badges
25	1	edA-qa mort-ora-y 1,53812 silver badges15 bronze badges
23	1	mrk 3,67822 silver badges35 bronze badges
23	1	jmite 29.7k5 gold badges64 silver badges119 bronze badges
22	1	Erel Segal-Halevi 5,7301 gold badge23 silver badges57 bronze badges
21	3	hengxin 9,5012 gold badges33 silver badges73 bronze badges
21	1	Yai0Phah 6216 silver badges14 bronze badges