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
73a9e.. 280.00
2b798.. 280.00
16160.. 280.00
cdb7b.. 280.00
8f193.. 280.00
5ccec.. 280.00
e91a3.. 280.00
fd582.. 280.00
ff3aa.. 280.00
939ca.. 280.00
7fddd.. 280.00
54bfa.. 280.00
9e86e.. 280.00
8f9d0.. 280.00
41c8b.. 280.00
eb8ae.. 280.00
25211.. 280.00
99b52.. 280.00
ddb37.. 280.00
2769a.. 280.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88