Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMMLN..
t55_tex_4
25.00
TMLiz..
t49_sin_cos7
25.00
TMUKq..
t7_urysohn1
25.00
TMNuV..
t5_catalan1
25.00
TMZLz..
t72_funct_3
25.00
TMXrr..
t9_filter_1
25.00
TMLFY..
t47_sin_cos7
25.00
TMUSC..
t46_yellow_2
25.00
TMYaw..
t7_homothet
25.00
TMFtU..
t47_power
25.00
TMPLQ..
t49_ordinal3
25.00
TMT2Y..
t8_bvfunc_3
25.00
TMRnj..
t44_rfunct_1
25.00
TMLJm..
t9_bvfunc_3
25.00
TMT5U..
t44_normform
25.00
TMcp3..
t97_xxreal_3
25.00
TMaSz..
t8_compts_1
25.00
TMdwm..
t9_series_2
25.00
TMZUq..
t47_yellow_4
25.00
TMYYU..
t56_complex1
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