Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMVrq..
Conj_SNoLtE__8__3
25.00
TMUEP..
Conj_mul_SNo_distrR__117__12
25.00
TMZSG..
Conj_mul_SNo_distrR__41__10
25.00
TMNoc..
Conj_mul_SNo_eq_3__3__10
25.00
TMWFF..
Conj_mul_SNo_eq_3__8__8
25.00
TMTHJ..
Conj_mul_SNo_SNoL_interpolate__3__5
25.00
TMJWw..
Conj_mul_SNo_prop_1__30__3
25.00
TMKLq..
Conj_mul_SNo_assoc_lem2__58__3
25.00
TMcuk..
Conj_real_add_SNo__31__24
25.00
TMdYX..
Conj_mul_SNo_distrR__36__16
25.00
TMaPQ..
Conj_abs_SNo_intvl_bd__1__1
25.00
TMGgb..
Conj_mul_SNo_distrR__80__16
25.00
TMW2o..
Conj_mul_SNo_Lt__13__5
25.00
TMUM1..
Conj_mul_SNo_assoc_lem1__30__4
25.00
TMbY5..
Conj_mul_SNo_assoc_lem1__82__1
25.00
TMdvy..
Conj_SNo_approx_real__21__1
25.00
TMRV7..
Conj_SNo_ordinal_ind2__5__1
25.00
TMYeT..
Conj_mul_SNo_prop_1__84__18
25.00
TMMLh..
Conj_mul_SNo_SNoL_interpolate__8__1
25.00
TMbRk..
Conj_pos_small_real_recip_ex__11__2
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