Proofgold bounties

Description of 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

814b8..^{Conj_PigeonHole_nat_bij__2__2} 25.00
164f1..^{Conj_int_mul_SNo__3__2} 25.00
d6042..^{Conj_real_add_SNo__40__2} 25.00
31641..^{Conj_add_CSNo_assoc__2__4} 25.00
0e33e..^{Conj_real_add_SNo__33__2} 25.00
712f0..^{Conj_mul_SNo_eq__19__1} 25.00
fb18d..^{Conj_SNo_approx_real_rep__1__0} 25.00
786e0..^{Conj_real_add_SNo__37__9} 25.00
65298..^{Conj_SNo_etaE__5__0} 25.00
d2f6b..^{Conj_add_SNo_ordinal_ordinal__4__2} 25.00
68a43..^{Conj_mul_SNo_eq__19__2} 25.00
ec53b..^{Conj_real_add_SNo__36__15} 25.00
3aca5..^{Conj_real_add_SNo__23__14} 25.00
c87d9..^{Conj_real_add_SNo__35__13} 25.00
7e49d..^{Conj_mul_SNo_eq__25__0} 25.00
c4ebc..^{Conj_real_add_SNo__43__10} 25.00
df8dd..^{Conj_add_SNo_ordinal_ordinal__3__3} 25.00
3c9d2..^{Conj_pos_real_recip_ex__1__3} 25.00
f7761..^{Conj_minus_SNo_Lev_lem1__12__3} 25.00
da648..^{Conj_minus_SNoCut_eq_lem__8__3} 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88

Proofgold bounties

Description of bounties

More open bounties

More closed bounties