Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMGsi..
Conj_mul_SNo_assoc_lem2__10__9
25.00
TMLux..
Conj_mul_SNo_assoc_lem1__43__3
25.00
TMarr..
Conj_mul_SNo_distrR__109__18
25.00
TMYNk..
Conj_real_mul_SNo_pos__127__3
25.00
TMSJz..
Conj_mul_SNo_Lt__23__10
25.00
TMYDa..
Conj_add_SNo_Lt_subprop3d__2__4
25.00
TMF1G..
Conj_mul_SNo_assoc_lem2__59__19
25.00
TMaLc..
Conj_SNo_ordinal_ind__2__1
25.00
TMQLY..
Conj_mul_SNo_Lt__61__14
25.00
TMTUL..
Conj_mul_SNo_assoc_lem2__32__4
25.00
TMNC1..
Conj_mul_SNo_assoc_lem2__39__13
25.00
TMVTH..
Conj_real_mul_SNo_pos__15__5
25.00
TMS9Z..
Conj_mul_SNo_distrR__126__9
25.00
TMWM3..
Conj_mul_SNo_distrR__33__11
25.00
TMYdH..
Conj_mul_SNo_eq_3__12__1
25.00
TMGiB..
Conj_mul_SNo_prop_1__26__15
25.00
TMFy7..
Conj_add_SNo_Lev_bd__17__7
25.00
TMKbV..
Conj_mul_SNo_assoc_lem2__98__11
25.00
TMc44..
Conj_minus_SNo_prop1__4__5
25.00
TMVXX..
Conj_real_mul_SNo_pos__117__0
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