Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMFdf..
Conj_real_mul_SNo_pos__133__12
25.00
TMU4q..
Conj_mul_SNo_assoc_lem1__64__15
25.00
TMQac..
Conj_add_SNo_Lt_subprop3c__2__3
25.00
TMM5t..
Conj_real_mul_SNo_pos__108__6
25.00
TMQUR..
Conj_mul_SNo_assoc_lem1__40__19
25.00
TMasw..
Conj_mul_SNo_assoc_lem2__31__23
25.00
TMUvJ..
Conj_SNoS_omega_SNoR_min_exists__1__0
25.00
TMWyf..
Conj_ctagged_notin_SNo__3__0
25.00
TMK18..
Conj_mul_SNo_prop_1__54__4
25.00
TMXcA..
Conj_mul_SNo_assoc_lem1__4__1
25.00
TMPpG..
Conj_SNo_approx_real_rep__6__4
25.00
TMQXT..
Conj_add_SNo_Lev_bd__29__5
25.00
TMX7G..
Conj_pos_small_real_recip_ex__23__0
25.00
TMdRr..
Conj_mul_SNo_assoc_lem2__79__17
25.00
TMWDC..
Conj_mul_SNo_Lt__27__13
25.00
TMVLi..
Conj_mul_SNo_distrR__78__18
25.00
TMZrM..
Conj_mul_SNo_assoc_lem2__63__4
25.00
TMReg..
Conj_PNo_strict_upperbd_imp_rel_strict_upperbd__7__4
25.00
TMJV1..
Conj_SNo_approx_real__18__0
25.00
TMVCF..
Conj_add_SNo_Lev_bd__22__6
25.00
More open bounties
Collected bounties
ee513..
280.00
1eae1..
280.00
c1dc4..
280.00
b202e..
280.00
b202e..
280.00
57953..
280.00
c2569..
280.00
6eafe..
280.00
3f4ba..
280.00
cc5f9..
280.00
85942..
280.00
60395..
280.00
2ea5a..
280.00
d9ebb..
280.00
bf66e..
280.00
d6ffc..
280.00
1a212..
280.00
7407a..
280.00
8563b..
280.00
1de24..
280.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88