Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMbny..
t1_bvfunc_3
25.00
TMVf4..
t1_diff_3
25.00
TMWU5..
t33_bvfunc_3
25.00
TMTpZ..
t31_irrat_1
25.00
TMUvu..
t19_midsp_2
25.00
TMGtp..
t20_pre_ff
25.00
TMZ5c..
t20_pre_topc
25.00
TMX8G..
t1_bcialg_1
25.00
TMGX5..
t1_series_5
25.00
TMM72..
t32_e_siec
25.00
TMZCW..
t32_yellow10
25.00
TMNWz..
t1_polyeq_4
25.00
TMMUh..
t1_homothet
25.00
TMPHa..
t1_aff_3
25.00
TMPq4..
t1_bvfunc26
25.00
TMYTf..
t20_cfuncdom
25.00
TMYTB..
t1_diff_2
25.00
TMKqL..
t20_aff_4
25.00
TMRtU..
t32_ordinal4
25.00
TMTZQ..
t33_interva1
25.00
More open bounties
Collected bounties
6cf6d..
Conj_SNo_eta__5__1
25.00
b9ae9..
Conj_add_SNo_ordinal_SR__4__0
25.00
47fc9..
Conj_eps_ordsucc_half_add__7__0
25.00
6cfb5..
Conj_add_SNo_minus_SNo_linv__9__5
25.00
34c67..
Conj_ctagged_eqE_Subq__1__1
25.00
3489a..
Conj_minus_SNo_Lev_lem1__12__1
25.00
d71fb..
Conj_PNo_strict_imv_pred_eq__6__3
25.00
90489..
2.00
90489..
1.00
181f2..
1.00
085db..
1.00
b7323..
1.00
eeafe..
1.00
d869b..
1.00
748bf..
0.01
53760..
0.01
a1ac9..
0.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88