Proofgold bounties

Description of bounties

Open bounties

TMaTF..^{Conj_add_SNo_ordinal_SL__1__0} 25.00
TMMbG..^{Conj_mul_SNo_eq_3__13__5} 25.00
TMWka..^{Conj_mul_SNo_distrR__77__13} 25.00
TMSbJ..^{Conj_mul_SNo_assoc_lem2__18__13} 25.00
TMSdX..^{Conj_mul_SNo_SNoR_interpolate__6__4} 25.00
TMHbi..^{Conj_SNo_approx_real__28__6} 25.00
TMU8t..^{Conj_SNoCutP_SNoCut__34__2} 25.00
TMH5G..^{Conj_mul_SNo_Lt__31__9} 25.00
TMPYW..^{Conj_mul_SNo_assoc_lem2__105__3} 25.00
TMJpq..^{Conj_mul_SNo_distrR__70__20} 25.00
TMYak..^{Conj_mul_SNo_distrR__100__6} 25.00
TMYuB..^{Conj_mul_SNo_assoc_lem2__105__5} 25.00
TMWAK..^{Conj_mul_SNo_assoc_lem1__37__11} 25.00
TMUHG..^{Conj_mul_SNo_distrR__67__23} 25.00
TMMcV..^{Conj_mul_SNo_Lt__49__12} 25.00
TMH8o..^{Conj_mul_SNo_minus_distrL__22__7} 25.00
TMbd3..^{Conj_mul_SNo_assoc_lem2__6__13} 25.00
TMX6r..^{Conj_add_SNo_com__9__0} 25.00
TMcSy..^{Conj_add_SNo_diadic_rational_p__5__6} 25.00
TMciS..^{Conj_mul_SNo_assoc__1__25} 25.00

More open bounties

Collected bounties

6cf6d..^{Conj_SNo_eta__5__1} 25.00
b9ae9..^{Conj_add_SNo_ordinal_SR__4__0} 25.00
47fc9..^{Conj_eps_ordsucc_half_add__7__0} 25.00
6cfb5..^{Conj_add_SNo_minus_SNo_linv__9__5} 25.00
34c67..^{Conj_ctagged_eqE_Subq__1__1} 25.00
3489a..^{Conj_minus_SNo_Lev_lem1__12__1} 25.00
d71fb..^{Conj_PNo_strict_imv_pred_eq__6__3} 25.00
90489.. 2.00
90489.. 1.00
181f2.. 1.00
085db.. 1.00
b7323.. 1.00
eeafe.. 1.00
d869b.. 1.00
748bf.. 0.01
53760.. 0.01
a1ac9.. 0.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88