Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMTis..Conj_mul_SNo_distrR__69__8 25.00
TMSZS..Conj_PNo_lenbdd_strict_imv_extend1__2__0 25.00
TMcBP..Conj_mul_SNo_assoc_lem2__53__6 25.00
TMaK8..Conj_SNo_foil_mm__2__0 25.00
TMVju..Conj_mul_SNo_distrR__52__21 25.00
TMZeu..Conj_mul_SNo_SNoR_interpolate__8__2 25.00
TMWca..Conj_PNo_strict_lowerbd_imp_rel_strict_lowerbd__7__2 25.00
TMPkh..Conj_PNo_rel_imv_ex__4__9 25.00
TMYCz..Conj_mul_SNo_distrR__33__1 25.00
TMVXx..Conj_double_SNo_max_1__2__2 25.00
TMcYE..Conj_PNo_rel_imv_ex__75__0 25.00
TMbty..Conj_SNoCutP_SNoCut_lim__4__4 25.00
TMcaP..Conj_mul_SNo_assoc_lem2__14__29 25.00
TMRVG..Conj_mul_SNo_assoc_lem1__10__19 25.00
TMXPk..Conj_add_SNo_Lev_bd__23__3 25.00
TMXej..Conj_pos_small_real_recip_ex__12__0 25.00
TMNr2..Conj_PNo_rel_imv_ex__68__8 25.00
TMZPP..Conj_double_SNo_max_1__1__6 25.00
TMP7j..Conj_mul_SNo_prop_1__29__15 25.00
TMRhS..Conj_mul_SNo_assoc_lem2__18__18 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