Proofgold bounties

Description of bounties

Open bounties

TMYTk..^{Conj_mul_SNo_prop_1__20__19} 25.00
TMKFR..^{Conj_mul_SNo_eq_3__13__13} 25.00
TMNdi..^{Conj_mul_SNo_minus_distrL__26__0} 25.00
TMMxd..^{Conj_mul_SNo_prop_1__9__1} 25.00
TMap7..^{Conj_eps_SNoCut__6__5} 25.00
TMdea..^{Conj_mul_SNo_assoc_lem2__57__18} 25.00
TMY8g..^{Conj_real_add_SNo__1__6} 25.00
TMbsM..^{Conj_real_mul_SNo_pos__33__18} 25.00
TMXVh..^{Conj_mul_SNo_SNoR_interpolate__7__3} 25.00
TMFHL..^{Conj_mul_SNo_assoc_lem2__51__12} 25.00
TMFtE..^{Conj_mul_SNo_prop_1__101__4} 25.00
TMXG7..^{Conj_SNo_approx_real_rep__14__10} 25.00
TMNhP..^{Conj_pos_small_real_recip_ex__18__8} 25.00
TMEmv..^{Conj_mul_SNo_eq_3__7__14} 25.00
TMaju..^{Conj_SNo_approx_real__19__13} 25.00
TMPJP..^{Conj_SNo_approx_real_rep__17__1} 25.00
TMVH2..^{Conj_mul_SNo_eq_3__14__12} 25.00
TMaz4..^{Conj_mul_SNo_distrR__48__11} 25.00
TMZ2d..^{Conj_mul_SNo_assoc_lem1__1__33} 25.00
TMc5P..^{Conj_mul_SNo_assoc_lem1__20__23} 25.00

More open bounties

Collected bounties

1e52c..^{conj_AIM1_TMJ6x4qymV9bU6vHmiv7wvcBxDKi5pjWFBQ} 26.00
6c796.. 26.00
dd2c3.. 26.00
acbec..^{conj_AIM1_TMbqmFcR6mjbhEj9FSk5rnRWpDWSyWDYypV} 26.00
24e23.. 26.00
08907..^{conj_AIM1_TMXZ2KdpJ6kzM6jXiXg7i99pFhq7CGhK6v5} 26.00
f5674.. 26.00
48969..^{conj_AIM1_TMSPEdP2SLFH6VZosPw2eR27NgccgMSQaHE} 26.00
9c369.. 26.00
bd2a8.. 26.00
87c7d.. 26.00
d04b2..^{conj_AIM2_TMTgHW7YcF8pQikGrm4yauCLwoTmAsYhTMn} 26.00
4bcbc.. 26.00
809f2..^{conj_AIM2_TMLwofVHi5ZzxxNG8GtAoDVd7L9TiARtGuU} 26.00
77352.. 26.00
d06dd.. 26.00
79c01.. 26.00
02ee4.. 26.00
cb6d7..^{conj_AIM2_TMVmW8xoa15TYddVKBwxWB7LckHsjp4yZ9g} 26.00
88e75..^{conj_AIM2_TMHPChFYGWVDhN51dwFHHeDEZ9ZHrbvgG5T} 26.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88