Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMSdG..Conj_mul_SNo_assoc_lem2__21__8 25.00
TMcCg..Conj_mul_SNo_assoc_lem2__33__1 25.00
TMU94..Conj_mul_SNo_distrR__1__23 25.00
TMX1h..Conj_real_mul_SNo_pos__94__7 25.00
TMbXk..Conj_mul_SNo_assoc_lem1__31__23 25.00
TMLnr..Conj_KnasterTarski_set__4__0 25.00
TMPKk..Conj_mul_SNo_assoc_lem1__38__13 25.00
TMTZV..Conj_mul_SNo_distrR__49__2 25.00
TMTjc..Conj_mul_SNo_distrR__95__12 25.00
TMZo1..Conj_mul_SNo_assoc_lem1__12__2 25.00
TMQYr..Conj_neg_mul_SNo_Lt__1__3 25.00
TMKJP..Conj_SNoLtE__1__5 25.00
TMWSS..Conj_real_mul_SNo_pos__112__22 25.00
TMaqP..Conj_mul_SNo_distrR__100__13 25.00
TMTCS..Conj_real_mul_SNo_pos__123__21 25.00
TMZC2..Conj_SNo_approx_real_rep__16__2 25.00
TMTve..Conj_mul_SNo_assoc_lem2__11__1 25.00
TMWFS..Conj_mul_SNo_assoc_lem1__10__26 25.00
TMSw5..Conj_PNo_lenbdd_strict_imv_extend1__4__6 25.00
TMLDK..Conj_real_mul_SNo_pos__69__21 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