Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMKAH..Conj_mul_SNo_minus_distrL__18__10 25.00
TMcco..Conj_SNo_approx_real__23__2 25.00
TMPz8..Conj_real_mul_SNo_pos__95__14 25.00
TMbkD..Conj_double_SNo_min_1__5__9 25.00
TMRrq..Conj_real_mul_SNo_pos__51__2 25.00
TMMT4..Conj_real_mul_SNo_pos__85__6 25.00
TMZms..Conj_SNo_approx_real_rep__6__2 25.00
TMPdv..Conj_mul_SNo_assoc_lem1__88__17 25.00
TMZS7..Conj_mul_SNo_assoc_lem2__23__23 25.00
TMVPH..Conj_mul_SNo_prop_1__20__0 25.00
TMdg9..Conj_mul_SNo_assoc_lem1__34__9 25.00
TMaE1..Conj_mul_SNo_prop_1__39__15 25.00
TMUi2..Conj_mul_SNo_Lt__8__12 25.00
TMMKb..Conj_SNoLtE__1__8 25.00
TMLam..Conj_add_SNo_Lev_bd__24__5 25.00
TMXF8..Conj_pos_small_real_recip_ex__12__9 25.00
TMTWY..Conj_mul_SNo_assoc_lem1__6__39 25.00
TMR8e..Conj_mul_SNo_distrR__70__19 25.00
TMJax..Conj_mul_SNo_assoc_lem2__93__22 25.00
TMJdq..Conj_SNoCutP_SNoCut__10__0 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