Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMQxA..
Conj_mul_SNo_minus_distrL__18__8
25.00
TMWAf..
Conj_mul_SNo_assoc_lem2__105__8
25.00
TMGjs..
Conj_nonneg_mul_SNo_Le__1__2
25.00
TMHRR..
Conj_SNoS_omega_Lev_equip__16__1
25.00
TMRiv..
Conj_mul_SNo_assoc_lem1__4__27
25.00
TMSa3..
Conj_PNo_rel_imv_ex__32__9
25.00
TMHqL..
Conj_mul_SNo_assoc_lem1__28__30
25.00
TMUNa..
Conj_mul_SNo_assoc__6__20
25.00
TMTou..
Conj_real_complete1__20__7
25.00
TMGzC..
Conj_mul_SNo_assoc_lem2__23__13
25.00
TMH7w..
Conj_mul_SNo_distrR__52__19
25.00
TMW4c..
Conj_mul_SNo_assoc_lem1__17__2
25.00
TMdQP..
Conj_SNoLtE__1__3
25.00
TMV66..
Conj_mul_SNo_prop_1__88__25
25.00
TMHSm..
Conj_mul_SNo_Lt__33__2
25.00
TMFwR..
Conj_mul_SNo_prop_1__29__26
25.00
TMRop..
Conj_mul_SNo_assoc__11__11
25.00
TMFAo..
Conj_mul_SNo_assoc_lem1__54__23
25.00
TMK2j..
Conj_mul_SNo_distrR__30__18
25.00
TMVEz..
Conj_mul_SNo_assoc_lem2__6__30
25.00
More open bounties
Collected bounties
585e5..
280.00
e5fe5..
280.00
3e118..
280.00
4c6a1..
280.00
b5f99..
280.00
39a86..
280.00
f0c39..
280.00
b434c..
280.00
740a6..
280.00
07b9c..
280.00
625b8..
280.00
9ae00..
280.00
1ce71..
280.00
2152d..
280.00
41b71..
280.00
38799..
280.00
595a8..
280.00
1e12d..
280.00
745b7..
280.00
bb68d..
280.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88