Proofgold bounties

Description of bounties

Open bounties

TMYTk..^{Conj_mul_SNo_prop_1__20__19} 25.00
TMKFR..^{Conj_mul_SNo_eq_3__13__13} 25.00
TMNdi..^{Conj_mul_SNo_minus_distrL__26__0} 25.00
TMMxd..^{Conj_mul_SNo_prop_1__9__1} 25.00
TMap7..^{Conj_eps_SNoCut__6__5} 25.00
TMdea..^{Conj_mul_SNo_assoc_lem2__57__18} 25.00
TMY8g..^{Conj_real_add_SNo__1__6} 25.00
TMbsM..^{Conj_real_mul_SNo_pos__33__18} 25.00
TMXVh..^{Conj_mul_SNo_SNoR_interpolate__7__3} 25.00
TMFHL..^{Conj_mul_SNo_assoc_lem2__51__12} 25.00
TMFtE..^{Conj_mul_SNo_prop_1__101__4} 25.00
TMXG7..^{Conj_SNo_approx_real_rep__14__10} 25.00
TMNhP..^{Conj_pos_small_real_recip_ex__18__8} 25.00
TMEmv..^{Conj_mul_SNo_eq_3__7__14} 25.00
TMaju..^{Conj_SNo_approx_real__19__13} 25.00
TMPJP..^{Conj_SNo_approx_real_rep__17__1} 25.00
TMVH2..^{Conj_mul_SNo_eq_3__14__12} 25.00
TMaz4..^{Conj_mul_SNo_distrR__48__11} 25.00
TMZ2d..^{Conj_mul_SNo_assoc_lem1__1__33} 25.00
TMc5P..^{Conj_mul_SNo_assoc_lem1__20__23} 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