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
TwoRamseyProp_3_6_Power_5TwoRamseyProp_3_6_Power_5 100.00
TwoRamseyProp_4_4_Power_5TwoRamseyProp_4_4_Power_5 375.00
TwoRamseyProp_4_4_Power_6TwoRamseyProp_4_4_Power_6 375.00
TwoRamseyProp_3_4_Power_5TwoRamseyProp_3_4_Power_5 375.00
TwoRamseyProp_3_4_Power_4TwoRamseyProp_3_4_Power_4 375.00
TwoRamseyProp_3_4_Power_6TwoRamseyProp_3_4_Power_6 500.00
TwoRamseyProp_3_4_Power_8TwoRamseyProp_3_4_Power_8 500.00
TwoRamseyProp_3_4_Power_7TwoRamseyProp_3_4_Power_7 500.00
TwoRamseyProp_3_5_Power_5TwoRamseyProp_3_5_Power_5 500.00
TwoRamseyProp_3_5_Power_6TwoRamseyProp_3_5_Power_6 500.00
TwoRamseyProp_3_5_Power_7TwoRamseyProp_3_5_Power_7 500.00
TwoRamseyProp_3_6_Power_6TwoRamseyProp_3_6_Power_6 500.00
TwoRamseyProp_3_6_Power_8TwoRamseyProp_3_6_Power_8 500.00
TwoRamseyProp_3_6_Power_7TwoRamseyProp_3_6_Power_7 500.00
TwoRamseyProp_3_5_Power_8TwoRamseyProp_3_5_Power_8 500.00
TwoRamseyProp_4_4_Power_7TwoRamseyProp_4_4_Power_7 500.00
TwoRamseyProp_4_4_Power_8TwoRamseyProp_4_4_Power_8 500.00
1d99f..not_TwoRamseyProp_3_7_Power_4 100.00
4618e..not_TwoRamseyProp_3_6_Power_4 100.00
c642e..not_TwoRamseyProp_6_7_Power_4 500.00

More recent collected