Proofgold bounties

Open bounties

TMauR..^t35_wellord1 25.00
TMTaE..^t34_sin_cos4 25.00
TMWhR..^t26_fib_num4 25.00
TMQJp..^t3_diff_2 25.00
TMX3o..^t35_sin_cos4 25.00
TMR3m..^t36_bvfunc_3 25.00
TMMQp..^t35_series_5 25.00
TMbLL..^t28_cfunct_1 25.00
TMP7z..^t28_bcialg_3 25.00
TMZAg..^t33_setfam_1 25.00
TMKWL..^t1_axioms 25.00
TMKuw..^t38_sin_cos5 25.00
TMXiC..^t9_aff_3 25.00
TMRxN..^t2_altcat_2 25.00
TMNvK..^t42_ordinal3 25.00
TMTiK..^t3_algspec1 25.00
TMTU1..^t2_aff_3 25.00
TMYfb..^t21_polyeq_1 25.00
TMNps..^t16_wellord2 25.00
TMNKZ..^t37_sin_cos7 25.00

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

Open sum
308,364.07

Collected sum
209,545.88