Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMVQZ..
Conj_add_SNo_diadic_rational_p__4__0
25.00
TMTik..
Conj_mul_SNo_assoc_lem2__45__15
25.00
TMGJ7..
Conj_mul_SNo_SNoR_interpolate__3__1
25.00
TMbMy..
Conj_mul_SNo_eq__23__1
25.00
TMMkX..
Conj_real_add_SNo__47__0
25.00
TMYo2..
Conj_PNo_rel_imv_ex__22__6
25.00
TMUu9..
Conj_PNo_strict_upperbd_imp_rel_strict_upperbd__9__2
25.00
TMT6Q..
Conj_add_SNo_ordinal_SL__7__1
25.00
TMQs6..
Conj_minus_SNoCut_eq_lem__6__2
25.00
TMKDA..
Conj_mul_SNo_assoc_lem2__54__10
25.00
TMdAw..
Conj_real_mul_SNo_pos__29__9
25.00
TMWUq..
Conj_SNoS_omega_Lev_equip__13__7
25.00
TMM2r..
Conj_mul_SNo_assoc_lem2__34__7
25.00
TMGNv..
Conj_real_mul_SNo_pos__30__15
25.00
TMZbK..
Conj_mul_SNo_assoc_lem2__52__12
25.00
TMZuH..
Conj_real_mul_SNo_pos__46__12
25.00
TMNmD..
Conj_minus_SNo_Lev_lem1__16__1
25.00
TMKHH..
Conj_SNo_approx_real__22__9
25.00
TMWdz..
Conj_real_mul_SNo_pos__85__14
25.00
TMRjv..
Conj_mul_SNo_assoc_lem2__15__27
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