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
cc5f9.. 280.00 1e12d.. 280.00 2b798.. 280.00 f6311.. 280.00 fb310.. 280.00 75510.. 280.00 498e5.. 280.00 86b6f.. 280.00 79ec7.. 280.00 73cf8.. 280.00 fc5eb.. 280.00 b336b.. 280.00 fc0a3.. 280.00 57004.. 280.00 b6c37.. 280.00 3b01f.. 280.00 8563b.. 280.00 7407a.. 280.00 d6ffc.. 280.00 57953.. 280.00 More recent collected

Proofgold recent bounties

More recent placed

More recent collected