Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMPqQ..
Conj_double_SNo_min_1__7__1
25.00
TMV8H..
Conj_real_mul_SNo_pos__53__1
25.00
TMJdQ..
Conj_SNo_prereal_incr_lower_pos__4__6
25.00
TMPBs..
Conj_mul_SNo_Lt__60__17
25.00
TMQCr..
Conj_mul_SNo_assoc_lem1__58__9
25.00
TMRfu..
Conj_mul_SNo_distrR__32__14
25.00
TMJU3..
Conj_mul_SNo_assoc_lem2__98__16
25.00
TMUBi..
Conj_PNo_lenbdd_strict_imv_extend0__6__7
25.00
TMJE6..
Conj_add_SNo_ordinal_SL__6__8
25.00
TMKdW..
Conj_mul_SNo_distrR__52__2
25.00
TMR3P..
Conj_mul_SNo_assoc_lem1__35__4
25.00
TMKeo..
Conj_mul_SNo_assoc_lem2__98__8
25.00
TMcF7..
Conj_mul_SNo_distrR__60__18
25.00
TMGBc..
Conj_PNo_lenbdd_strict_imv_extend1__7__6
25.00
TMPuE..
Conj_mul_SNo_distrR__17__1
25.00
TMEvg..
Conj_SNoCutP_SNoCut__12__7
25.00
TMb6a..
Conj_mul_SNo_assoc_lem2__40__4
25.00
TMTJj..
Conj_mul_SNo_assoc_lem1__40__25
25.00
TMP6f..
Conj_mul_SNo_distrR__41__14
25.00
TMJdi..
Conj_mul_SNo_prop_1__17__11
25.00
More open bounties
Collected bounties
3de6d..
280.00
2b1ea..
280.00
55d5f..
280.00
76675..
280.00
3e753..
280.00
2883e..
280.00
e175e..
280.00
54bb5..
280.00
ed1ff..
280.00
d8d89..
280.00
16a22..
280.00
0497a..
280.00
a7607..
280.00
6f396..
280.00
41cc3..
280.00
f9fd3..
280.00
db811..
280.00
2317a..
280.00
983dc..
280.00
e7855..
280.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88