Proofgold bounties

Description of bounties

Open bounties

e2876..^{conj_AIM1_TMFVfMFrfnuBTG4pvDb817DsoFcuHupq4aS} 26.00
7cff3..^{conj_AIM2_TMJQHvWk5tHnVyim18ycQFY99pB3ZTe6XfU} 26.00
a60e6..^{conj_AIM1_TMRdFUiGP3h5WLqK1PWAysmu91U924hHr8U} 26.00
ef147..^{conj_AIM2_TMFZ5P5zvj2j8TUHcs2etuXYrNQ7cP2ficy} 26.00
c458e..^{conj_AIM2_TMFVDzhZqjXAksSwxMWwdmjugRtWJFrtrJs} 26.00
6b7d2..^{conj_AIM2_TMYF1gPPR38y3sgYokK54MYrGFfvkonKUUF} 26.00
636b8..^{conj_AIM1_TMH9s4qQcC7mWmKTuk8aJbjJq8Rna9ueigy} 26.00
36dbe..^{conj_AIM1_TMGD4zPDyUzaM5vpYzFAGg9ZXHEAiQq2maB} 26.00
89a11..^{conj_AIM2_TMJ5YdPMfJLE4oRrqZjVk6s8qskrtLmCnJB} 26.00
465c6..^{conj_AIM1_TMcZjrAi9fvTqfCBMsMA2ZGrCiKCEyPfiNW} 26.00
704f1..^{conj_AIM1_TMFbyfJn5iNuqb4HD78HidKGBmTKu25fU9F} 26.00
b6499..^{conj_AIM2_TMMjGzHj6JyyWKqtVjVTirTimCpdiTbqZgt} 26.00
3de75..^{conj_AIM1_TMGxkBxcqPDJvr6BjkW5qsZGnQzyqimvtzJ} 26.00
84cfa..^{conj_AIM1_TMSjPFZCX55e58MWF7KcFYqvE9th78rww55} 26.00
a56c2..^{conj_AIM1_TMWuXX3wRba1e52BKmY1p9fzpXs2GJsZxbV} 26.00
7c730..^{conj_AIM2_TMVEqtDEeiLNyM2Q6TVFaEjhfkkQvoB3eX9} 26.00
a3823..^{conj_AIM2_TMK4WwAzfLVZ9HsCZaLLoxFgQUP9ebxqenh} 26.00
72041..^{conj_AIM2_TMRPqL8sBWNtZpRyJmr3xFxdG4bqMvf81Md} 26.00
cfa81..^{conj_AIM2_TMJPEMuxAHVf7TYnsjXjQ1VFomBCnK2Rh4v} 26.00
641f5..^{conj_AIM2_TMd1kEKpRcw1Bg8Cy61svqo6BTeVuVtKiB3} 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