Proofgold bounties

Open bounties
TMVwP.. 200.00 TMce4.. 200.00 TMUAz.. 200.00 TMQ16.. 200.00 TMcUV.. 200.00 TMSDL.. 200.00 TMcfj.. 200.00 TMNj9.. 200.00 TMUiR.. 200.00 TMcA1.. 200.00 TMNz4.. 200.00 TMJ2e.. 200.00 TMF4N.. 200.00 TMbtZ.. 200.00 TMQhG.. 200.00 RealsStruct_minus_leq^{RealsStruct_minus_leq} 200.00 TMP1a.. 200.00 TMZwa.. 200.00 TMaF2.. 200.00 TMU4T.. 200.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

Open sum
308,364.07

Collected sum
209,545.88