Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMbhb..
l17_numbers
25.00
TMX6o..
t17_wellord2
25.00
TMXNb..
t35_sin_cos3
25.00
TMZBV..
t15_catalan1
25.00
TMHLm..
l46_zf_fund1
25.00
TMXSJ..
t28_series_4
25.00
TMYy5..
l4_fdiff_7
25.00
TMKSE..
t39_ordinal3
25.00
TMNke..
t21_series_5
25.00
TMLbD..
t28_bvfunc_3
25.00
TMMs2..
t24_int_2
25.00
TMbVD..
t28_rat_1
25.00
TMWR4..
t21_bvfunc_5
25.00
TMKAV..
t35_diff_2
25.00
TMVrY..
l30_substlat
25.00
TMWBj..
t3_polyeq_2
25.00
TMQco..
t26_tex_4
25.00
TMKAv..
l19_taxonom2
25.00
TMS13..
t3_quin_1
25.00
TMdmG..
l29_projred2
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