Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMQN2..
t69_funct_4
25.00
TMLng..
t4_pzfmisc1
25.00
TMXFx..
t58_tsep_1
25.00
TMZYv..
t53_normform
25.00
TMaHd..
t55_funct_3
25.00
TMWfr..
t78_classes1
25.00
TMQNe..
t4_robbins1
25.00
TMLxf..
t52_wellord1
25.00
TMGoA..
t5_irrat_1
25.00
TMRRY..
t6_sin_cos5
25.00
TMYoj..
t80_transgeo
25.00
TMN5n..
t49_sin_cos5
25.00
TMbYE..
t4_conaffm
25.00
TMXHD..
t54_sin_cos3
25.00
TMEsU..
t6_sin_cos3
25.00
TMbez..
t61_diff_2
25.00
TMKk8..
t66_nat_d
25.00
TMKnz..
t9_sin_cos3
25.00
TMJf5..
t51_arytm_3
25.00
TMYnJ..
t65_setlim_2
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