Proofgold bounties

Description of bounties

Open bounties

TMJGo..^{Conj_mul_SNo_assoc_lem1__60__6} 25.00
TMdr8..^{Conj_mul_SNo_distrR__115__15} 25.00
TMcBE..^{Conj_SNo_approx_real__14__10} 25.00
TMHfk..^{Conj_real_add_SNo__23__0} 25.00
TMUWS..^{Conj_real_mul_SNo_pos__5__21} 25.00
TMTCB..^{Conj_add_SNo_minus_SNo_linv__8__6} 25.00
TMSVU..^{Conj_SNo_etaE__7__0} 25.00
TMK6m..^{Conj_mul_SNo_assoc_lem2__32__21} 25.00
TMWSV..^{Conj_minus_SNo_diadic_rational_p__3__0} 25.00
TMZHc..^{Conj_pos_small_real_recip_ex__24__3} 25.00
TMdPt..^{Conj_mul_SNo_assoc_lem2__19__11} 25.00
TMaW8..^{Conj_SNo_foil_mm__1__1} 25.00
TMTkW..^{Conj_mul_SNo_distrR__75__5} 25.00
TMTSV..^{Conj_add_SNo_Lev_bd__34__6} 25.00
TMWEe..^{Conj_mul_SNo_assoc_lem2__64__4} 25.00
TMS11..^{Conj_mul_SNo_distrR__40__24} 25.00
TMMYe..^{Conj_mul_SNo_eq__16__1} 25.00
TMPWa..^{Conj_pos_small_real_recip_ex__24__8} 25.00
TMYhm..^{Conj_real_add_SNo__32__17} 25.00
TMFqs..^{Conj_mul_SNo_distrR__130__13} 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