Proofgold bounties

Open bounties
TMYzb.. 200.00 TMdZx.. 200.00 TMJKr.. 200.00 TMV3d.. 200.00 TMJAN.. 200.00 TMTHz.. 200.00 TMM6a.. 200.00 TMHsU.. 200.00 TMMCh.. 200.00 TMaWc.. 200.00 TMRaU.. 200.00 TMJzR.. 200.00 TMRZF.. 200.00 TMSSt.. 200.00 TMU92..^{FermatsLastTheorem3} 130.00 42fc4..^aK1 130.00 eac1e..^aa1 130.00 975e1..^com__aa1 130.00 79b0e..^{middle_Bol__aa1} 130.00 edea9..^KK_Kcom__aa1 130.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