Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMEw7..
t17_fintopo3
25.00
TMKRJ..
t19_fib_num3
25.00
TMaxb..
t1_aff_2
25.00
TMaUb..
t11_radix_6
25.00
TMPen..
t17_tdlat_1
25.00
TMVYM..
t17_quatern3
25.00
TMVeH..
l24_projred2
25.00
TMGar..
t12_sin_cos4
25.00
TMRfj..
l72_normform
25.00
TMY12..
l18_taxonom2
25.00
TMRpf..
t19_nat_d
25.00
TMRAE..
l1_euler_1
25.00
TMS2D..
t15_taxonom2
25.00
TMLwx..
t14_sin_cos7
25.00
TMdi7..
l21_cfuncdom
25.00
TMYJw..
l38_tops_1
25.00
TMHYm..
l2_bvfunc10
25.00
TMK3r..
t12_interva1
25.00
TMUG3..
t19_transgeo
25.00
TMJx5..
l1_fdiff_6
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