Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMWcH..
Conj_mul_SNo_prop_1__49__15
25.00
TMZAV..
Conj_pos_small_real_recip_ex__26__3
25.00
TMT3n..
Conj_mul_SNo_assoc_lem2__48__14
25.00
TMbhV..
Conj_mul_SNo_prop_1__45__10
25.00
TMP7s..
Conj_real_mul_SNo_pos__77__10
25.00
TMFVS..
Conj_mul_SNo_assoc_lem1__34__8
25.00
TMLVp..
Conj_SNoCutP_SNoCut__29__1
25.00
TMarW..
Conj_mul_SNo_Lt__44__1
25.00
TMT8J..
Conj_mul_SNo_distrR__80__7
25.00
TMGPW..
Conj_real_mul_SNo_pos__7__0
25.00
TMShd..
Conj_mul_SNo_distrR__81__10
25.00
TMWvi..
Conj_mul_SNo_Lt__18__9
25.00
TMUK2..
Conj_mul_SNo_Lt__57__1
25.00
TMa6B..
Conj_add_SNo_assoc__10__0
25.00
TMKZM..
Conj_mul_SNo_prop_1__33__6
25.00
TMMyi..
Conj_mul_SNo_assoc_lem1__82__14
25.00
TMVH5..
Conj_mul_SNo_assoc_lem1__77__7
25.00
TMHff..
Conj_SNo_approx_real_rep__7__2
25.00
TMdxS..
Conj_real_complete1__27__11
25.00
TMNjy..
Conj_mul_SNo_assoc_lem2__66__10
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