Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMW7r..Conj_eps_ordsucc_half_add__7__1 25.00
TMJc1..Conj_real_mul_SNo_pos__21__2 25.00
e4f91..Conj_mul_SNo_eq__20__3 25.00
63f7a..Conj_ordinal_SNoLev_max_2__5__0 25.00
TMdga..Conj_mul_SNo_distrR__137__4 25.00
TMcJ2..Conj_mul_SNo_assoc_lem1__76__10 25.00
TMEyb..Conj_PNo_rel_split_imv_imp_strict_imv__14__6 25.00
TMW2n..Conj_add_SNo_Lev_bd__23__5 25.00
TMRXT..Conj_mul_SNo_assoc_lem1__22__14 25.00
7bd1d..Conj_double_eps_1__1__1 25.00
TMHtr..Conj_real_Archimedean__8__2 25.00
TMHqD..Conj_real_mul_SNo_pos__25__1 25.00
TMYoo..Conj_mul_SNo_assoc_lem1__57__15 25.00
TMMwe..Conj_mul_SNo_assoc_lem2__107__3 25.00
TMUY5..Conj_mul_SNo_assoc_lem1__20__5 25.00
TMb8w..Conj_mul_SNo_prop_1__43__9 25.00
TMNft..Conj_mul_SNo_distrR__56__15 25.00
33d61..Conj_PNo_bd_In__1__3 25.00
TMHv5..Conj_mul_SNo_assoc_lem1__31__27 25.00
TMHEB..Conj_mul_SNo_assoc_lem1__15__6 25.00

More recent placed
Recently collected bounties
e2fba.. 25.00
46fc2.. 25.00
62a6f.. 25.00
932d7.. 25.00
391d4.. 25.00
TwoRamseyProp_4_8_Power_7TwoRamseyProp_4_8_Power_7 500.00
TwoRamseyProp_4_9_Power_8TwoRamseyProp_4_9_Power_8 500.00
not_TwoRamseyProp_4_6_Power_5not_TwoRamseyProp_4_6_Power_5 100.00
not_TwoRamseyProp_4_6_35not_TwoRamseyProp_4_6_35 300.00
not_TwoRamseyProp_6_7_Power_5not_TwoRamseyProp_6_7_Power_5 500.00
not_TwoRamseyProp_4_7_Power_5not_TwoRamseyProp_4_7_Power_5 500.00
not_TwoRamseyProp_5_6_Power_5not_TwoRamseyProp_5_6_Power_5 500.00
not_TwoRamseyProp_5_7_Power_5not_TwoRamseyProp_5_7_Power_5 500.00
not_TwoRamseyProp_4_8_Power_5not_TwoRamseyProp_4_8_Power_5 500.00
not_TwoRamseyProp_6_6_Power_5not_TwoRamseyProp_6_6_Power_5 500.00
not_TwoRamseyProp_5_8_Power_5not_TwoRamseyProp_5_8_Power_5 500.00
not_TwoRamseyProp_4_9_Power_5not_TwoRamseyProp_4_9_Power_5 500.00
not_TwoRamseyProp_5_5_Power_4not_TwoRamseyProp_5_5_Power_4 500.00
75c09.. 25.00
3e831.. 25.00

More recent collected