Tag Info

proof-techniques Questions

dkaeae

4,2701 gold badge11 silver badges28 bronze badges

601	51	Raphael♦ 58.9k25 gold badges144 silver badges327 bronze badges
342	113	Yuval Filmus 206k15 gold badges200 silver badges365 bronze badges
163	9	Ran G. 17k3 gold badges48 silver badges96 bronze badges
123	31	David Richerby 74.7k16 gold badges117 silver badges208 bronze badges
121	16	Gilles♦ 34.6k7 gold badges99 silver badges166 bronze badges
100	24	Hendrik Jan 21.9k28 silver badges72 bronze badges
89	24	D.W.♦ 105k14 gold badges133 silver badges309 bronze badges
89	8	jmite 23.5k3 gold badges50 silver badges103 bronze badges
84	3	JeffE 7,8811 gold badge30 silver badges47 bronze badges
77	9	Kaveh 18.2k3 gold badges43 silver badges100 bronze badges
69	1	jmad 8,64731 silver badges40 bronze badges
60	10	babou 17.6k27 silver badges69 bronze badges
59	11	Shaull 13.4k1 gold badge21 silver badges49 bronze badges
58	1	Romuald 1,0807 silver badges10 bronze badges
52	13	Derek Elkins 11k1 gold badge24 silver badges38 bronze badges
46	13	Andrej Bauer 21.8k1 gold badge49 silver badges89 bronze badges
46	17	Rick Decker 12.9k3 gold badges30 silver badges45 bronze badges
45	1	Janoma 3,1173 gold badges14 silver badges21 bronze badges
41	9	Ariel 10.8k1 gold badge14 silver badges33 bronze badges
39	9	Luke Mathieson 16.1k3 gold badges45 silver badges78 bronze badges

TNB

61 bronze badge

501	8	Raphael♦ 58.9k25 gold badges144 silver badges327 bronze badges
83	2	Dave Clarke 17.3k3 gold badges56 silver badges109 bronze badges
51	2	D.W.♦ 105k14 gold badges133 silver badges309 bronze badges
51	4	user5507 8783 gold badges15 silver badges36 bronze badges
47	1	corium 4491 gold badge5 silver badges9 bronze badges
43	3	templatetypedef 5,8241 gold badge20 silver badges47 bronze badges
31	1	thomas 1562 silver badges3 bronze badges
29	1	user118967 3513 silver badges11 bronze badges
28	1	Nikhil 3192 silver badges9 bronze badges
28	1	Anonymous 1413 silver badges3 bronze badges
23	1	user1594 2061 gold badge4 silver badges9 bronze badges
23	1	edA-qa mort-ora-y 1,0939 silver badges15 bronze badges
23	1	hsalin 3634 silver badges7 bronze badges
22	1	jmite 23.5k3 gold badges50 silver badges103 bronze badges
20	1	Erel Segal-Halevi 2,56513 silver badges44 bronze badges
20	1	tcdowney 1031 gold badge1 silver badge6 bronze badges
19	1	Yai0Phah 3812 silver badges13 bronze badges
19	1	saadtaame 2,75014 silver badges32 bronze badges
19	1	Plummer 1587 bronze badges
17	1	vonbrand 8,8983 gold badges31 silver badges40 bronze badges