Proofgold bounties

Description of bounties

Open bounties

d8819..^{conj_AIM1_TMPNgXzHs9Cm7Lgghmo1tq1FLYEHchMQvDo} 26.00
7c962..^{conj_AIM2_TMdZ3UpBzfgjTnvfituZC5CDWTCF5d1UabW} 26.00
c3860..^{conj_AIM1_TMQiyDEjRbTBpusXYCM9RMnvHKU25n6kr8w} 26.00
e5052..^{conj_AIM2_TMcwRZdV3p1TXx85sBjEMVeNDtnKBZBU2xs} 26.00
98a43..^{conj_AIM2_TMZmW7nPpbsgR6WXXyDXjhZpatCmaUQknkS} 26.00
55cd6..^{conj_AIM2_TMbAFBQF4JUvYYBiwk2c4rKKtQcgEm5FQvy} 26.00
fad32..^{conj_AIM1_TMPsFYLxvNmkLhVUDixmwRo87W4LarqC9Ma} 26.00
eb470..^{conj_AIM2_TMax5udMaPcqx6oFHt6ypE2crT6rQaJeyHD} 26.00
deec7..^{conj_AIM2_TMdu8teuEkH2DCTTK9Ke3swBi8aLndCUzGq} 26.00
a0a6c..^{conj_AIM2_TMZoCjWoRi2ePHqg4GGngRzXSwja35g2eNF} 26.00
a7eaf..^{conj_AIM2_TMSpfjsQa1fJprxiqbBVF4uAQ7j2aNpVsvv} 26.00
2f351..^{conj_AIM1_TMQpFFNZDqWptke9AcggtXWa3UAQ2frX35g} 26.00
4142a..^{conj_AIM2_TMR1oH1qRCZHYT5NuJTFKUAXM9PjEJhjHFt} 26.00
d4684..^{conj_AIM2_TMPGi3MQ8E8b2DPao1HrdXsF4bn8enRu9tX} 26.00
68b1e..^{conj_AIM1_TMNrwDedygxqGxu4YiGfGjLpBVcGxDUPEEe} 26.00
d07ca..^{conj_AIM1_TMcB4R4qakfprqgY2jb12DWZcYxgcoJ3M2S} 26.00
23dd9..^{conj_AIM2_TMLXyRxZU2hn8UFQ6fpncvvyz8ByBP6HFWC} 26.00
bf479..^{conj_AIM1_TMQ4oPVXpSzpXmrz7Rt1uPtsGAmuFXS7Yxt} 26.00
46d55..^{conj_AIM1_TMRALKkvdUdrfHn4vA3Coc9ZKTNRiiKtAJJ} 26.00
ee0a3..^{conj_AIM2_TMTwKDw3XTyBVMdPgr19u1zb6yXjgmaconr} 26.00

More open bounties

Collected bounties

fe17b..^{Conj_real_add_SNo__18__2} 25.00
a064b..^{Conj_minus_SNo_invol__8__2} 25.00
ff211..^{Conj_SNoS_omega_diadic_rational_p_lem__11__5} 25.00
36a11..^{Conj_mul_SNo_eq__19__0} 25.00
7b761..^{Conj_mul_SNo_com__1__0} 25.00
59be3..^{Conj_minus_SNo_invol__5__6} 25.00
24d2c..^{Conj_PigeonHole_nat__1__0} 25.00
ad676..^{Conj_SNo_etaE__12__1} 25.00
56dcc..^{Conj_real_add_SNo__30__7} 25.00
296c6..^{Conj_SNo_pos_eps_Le__2__3} 25.00
e1d83..^{Conj_PNo_rel_imv_ex__7__4} 25.00
3cff7..^{Conj_mul_SNo_SNoR_interpolate__4__3} 25.00
dd834..^{Conj_ordinal_SNoR__1__0} 25.00
3aec6..^{Conj_SNo_approx_real_rep__1__1} 25.00
49f1d..^{Conj_minus_SNo_Lev_lem1__22__2} 25.00
34bd0..^{Conj_real_add_SNo__44__7} 25.00
09057..^{Conj_real_mul_SNo_pos__14__9} 25.00
4b294..^{Conj_SNoCut_Le__3__5} 25.00
5103b..^{Conj_real_add_SNo__45__20} 25.00
a558a..^{Conj_SNoL_1__1__0} 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88