Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMZPd..
Conj_mul_SNo_diadic_rational_p__1__7
25.00
TMdEA..
Conj_real_mul_SNo_pos__118__18
25.00
TMZ22..
Conj_real_Archimedean__2__3
25.00
TMb4z..
Conj_real_mul_SNo_pos__2__2
25.00
TMYvE..
Conj_mul_SNo_assoc_lem1__28__8
25.00
TMQLL..
Conj_mul_SNo_prop_1__35__2
25.00
TMadh..
Conj_mul_SNo_prop_1__58__17
25.00
TMK6u..
Conj_mul_SNo_assoc_lem2__104__20
25.00
TMcf7..
Conj_mul_SNo_assoc_lem1__53__23
25.00
TMdTG..
Conj_mul_SNo_distrR__61__21
25.00
TMTyr..
Conj_mul_SNo_assoc_lem1__84__20
25.00
TMV4R..
Conj_real_mul_SNo_pos__72__9
25.00
TMbqv..
Conj_real_complete1__31__1
25.00
TMKsv..
Conj_mul_SNo_eq_3__10__3
25.00
TMbJL..
Conj_add_SNo_Lev_bd__23__6
25.00
TMPwg..
Conj_real_mul_SNo_pos__55__8
25.00
TMTA4..
Conj_mul_SNo_Lt__29__0
25.00
TMLbw..
Conj_SNoS_omega_real__5__1
25.00
TMdug..
Conj_mul_SNo_distrR__77__2
25.00
TMVnp..
Conj_mul_SNo_assoc_lem2__94__13
25.00
More open bounties
Collected bounties
ee513..
280.00
1eae1..
280.00
c1dc4..
280.00
b202e..
280.00
b202e..
280.00
57953..
280.00
c2569..
280.00
6eafe..
280.00
3f4ba..
280.00
cc5f9..
280.00
85942..
280.00
60395..
280.00
2ea5a..
280.00
d9ebb..
280.00
bf66e..
280.00
d6ffc..
280.00
1a212..
280.00
7407a..
280.00
8563b..
280.00
1de24..
280.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88