Proofgold bounties

Description of bounties

Open bounties

TMXPW..^{conj_HOSetConstr_TMXPWDSKNj6a912j1K2S8xyY6wRFnjr7x7p} 25.00
TMXee..^{conj_QBF_TMXeeYrvzmHEhbqjKkVRX96FYYvyZB8uvzZ} 25.00
TMWZb..^{conj_HOSetConstr_TMWZb8d5Xwf8bjYD3nuxqtNAFzr9V4SEdDZ} 25.00
TMS4Q..^{conj_AbstrHF_TMS4QwA997HGBCdWYx9mNo58ghoncRMYbWD} 25.00
TMW2n..^{conj_DiophantineMod_TMW2nVwt7u8hVaA5jHbV3TrzHuqs9g4Y5XJ} 25.00
TMUUN..^{conj_Random1_TMUUNhEw7Uc26GmeMxvD242MWWKvRHRBHdD} 25.00
TMXnE..^{conj_Diophantine_TMXnEkJucYCPePqAjYiB4HeCKD7iRDpjCsn} 25.00
TMU2W..^{conj_CombUnif_TMU2WxBwdWaFMCcjJuHMxnsdmJmZ27yyUPg} 25.00
TMcUx..^{conj_QBF_TMcUxywjRYMeVeALGJdkowoeoQtHoaRrrAj} 25.00
TMWTd..^{conj_HOSetConstr_TMWTdFEym1KJg7Hs88t9p1Pf1cTdCkXSthG} 25.00
TMTZ9..^{conj_Random1_TMTZ9eR4pdP1UxeqzQqfN5yv5dXubCdpFRM} 25.00
TMEi1..^{conj_Diophantine_TMEi1sVUhmhK6c28gKJmZvF5YCnodWwdZBR} 25.00
TMYe6..^{conj_CombUnif_TMYe6uutpqcKjWyKcaV3R2SWpHL5Uqd64eB} 25.00
TMZNo..^{conj_Diophantine_TMZNoYCwa2PJjhaCW2LJC6cQbSFwcvCosj6} 25.00
TMMnF..^{conj_AbstrHF_TMMnFVAhDM5UHJuLX9ptAJkMX38vsaCHLme} 25.00
TMbBt..^{conj_Diophantine_TMbBtNZ5cTxtnTLt6SJ3Qqq3KmC8L96dztD} 25.00
TMdD5..^{conj_AbstrHF_TMdD5anGu9EQZGCqEZhonEjQpswLDmgqAso} 25.00
TMTD7..^{conj_AbstrHF_TMTD7qGSWLabMwT9BVYFYMxjW1k2U1iUcSg} 25.00
TMRrt..^{conj_DiophantineMod_TMRrtAGr6RQE7QGVj1PgwAY3Ut6MnERyBra} 25.00
TMKFM..^{conj_Diophantine_TMKFM79LELnrMtnfsruUcXxkspTFphgNQzm} 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