Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMJFc..
t36_setlim_1
25.00
TMNrc..
t2_bvfunc_4
25.00
TMdhy..
t25_bvfunc_9
25.00
TMVPx..
t2_waybel27
25.00
TMZiu..
t39_setfam_1
25.00
TMNsQ..
t29_bvfunc25
25.00
TMPum..
t2_bciideal
25.00
TMNvw..
t2_hermitan
25.00
TMa1c..
t29_fib_num3
25.00
TMJ1p..
t38_ordinal4
25.00
TMauR..
t35_wellord1
25.00
TMWdK..
t26_fuzzy_2
25.00
TMWJ8..
t29_sin_cos5
25.00
TMdvC..
t36_mboolean
25.00
TMKuw..
t38_sin_cos5
25.00
TMMAE..
t30_ordinal3
25.00
TMUuE..
t3_petri_2
25.00
TMYYm..
t24_sin_cos4
25.00
TMdWR..
t26_setfam_1
25.00
TMLHD..
t39_procal_1
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