Proofgold recent bounties

Recently placed bounties

TMbmp..^{Conj_mul_SNo_distrR__82__13} 25.00
TMVze..^{Conj_mul_SNo_distrR__17__11} 25.00
TMYTh..^{Conj_mul_SNo_SNoL_interpolate__7__3} 25.00
65298..^{Conj_SNo_etaE__5__0} 25.00
TMTGN..^{Conj_add_SNo_com__10__1} 25.00
TMUYD..^{Conj_minus_SNoCut_eq_lem__7__5} 25.00
TMUb2..^{Conj_mul_SNo_distrR__33__10} 25.00
TMKyp..^{Conj_SNo_approx_real__26__1} 25.00
TMNyw..^{Conj_real_mul_SNo_pos__86__4} 25.00
d2f6b..^{Conj_add_SNo_ordinal_ordinal__4__2} 25.00
TMH8J..^{Conj_mul_SNo_distrR__101__14} 25.00
TMMZ8..^{Conj_mul_SNo_minus_distrL__4__7} 25.00
68a43..^{Conj_mul_SNo_eq__19__2} 25.00
TMVAs..^{Conj_mul_SNo_assoc_lem1__28__27} 25.00
TMZeq..^{Conj_PNo_rel_strict_lowerbd_antimon__4__0} 25.00
TMTp7..^{Conj_real_add_SNo__5__5} 25.00
TMS99..^{Conj_PNo_strict_lowerbd_imp_rel_strict_lowerbd__5__5} 25.00
TMct4..^{Conj_mul_SNo_distrR__108__9} 25.00
TMdd9..^{Conj_mul_SNo_Lt__37__3} 25.00
TMbfv..^{Conj_PNo_rel_split_imv_imp_strict_imv__15__2} 25.00

More recent placed

Recently collected bounties
8ff5a.. 280.00 beb44.. 280.00 c0597.. 280.00 47f54.. 280.00 c9b31.. 280.00 cc96c.. 280.00 3a9bd.. 280.00 21ac2.. 280.00 2e546.. 280.00 81bc9.. 280.00 7a1d8.. 280.00 e4055.. 280.00 a5502.. 280.00 53414.. 280.00 b1641.. 280.00 268bf.. 280.00 bec91.. 280.00 b2d8d.. 280.00 4cea3.. 280.00 972b2.. 280.00 More recent collected

Proofgold recent bounties

More recent placed

More recent collected