Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMVUe..Conj_mul_SNo_assoc_lem2__32__6 25.00
TMbqw..Conj_mul_SNo_Lt__40__13 25.00
TMVAo..Conj_mul_SNo_SNoL_interpolate__2__2 25.00
TMazL..Conj_real_mul_SNo_pos__49__4 25.00
TMVRV..Conj_real_add_SNo__8__0 25.00
TMMSi..Conj_real_complete1__12__0 25.00
TMWJw..Conj_mul_SNo_assoc_lem1__17__14 25.00
TMUC6..Conj_pos_small_real_recip_ex__9__3 25.00
TMHCA..Conj_SNo_approx_real_rep__3__0 25.00
TMP6J..Conj_SNo_approx_real_rep__9__9 25.00
TMLPm..Conj_mul_SNo_distrR__31__15 25.00
TMVnH..Conj_mul_SNo_assoc_lem1__12__17 25.00
TMTYC..Conj_mul_SNo_assoc_lem1__87__9 25.00
TMZ43..Conj_SNoS_omega_Lev_equip__9__1 25.00
TMFzV..Conj_mul_SNo_eps_eps_add_SNo__8__0 25.00
TMFod..Conj_mul_SNo_assoc_lem2__84__12 25.00
TMTwL..Conj_mul_SNo_Lt__38__15 25.00
TMb7s..Conj_SNoS_omega_Lev_equip__18__6 25.00
TMG6E..Conj_mul_SNo_distrR__125__15 25.00
TMHFS..Conj_PNo_lenbdd_strict_imv_extend0__3__3 25.00

More open bounties
Collected bounties
513e5.. 25.00
4acef.. 25.00
2d333.. 25.00
cbc71.. 25.00
2a592.. 25.00
a0efe.. 25.00
9fd17.. 25.00
ec5bf.. 25.00
907ec.. 25.00
e6c0a.. 25.00
5f377.. 25.00
e0b76.. 25.00
4e638.. 25.00
57e42.. 25.00
fe95e.. 25.00
e02a2.. 25.00
7dc43.. 25.00
450a8.. 25.00
d9cc2.. 25.00
f7b4b.. 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88