Proofgold bounties

Description of bounties

Open bounties

TMJY6..^{conj_Random2_TMJY61Xne5gMsT2R6SoGE1dZ1G381nR7ybe} 25.00
TMLdi..^{conj_DiophantineMod_TMLdigc9W3wqk6jTgPF6bxmmvNWzqhEUcU6} 25.00
TMFvg..^{conj_DiophantineMod_TMFvgYTug7zWpjXjq8KYhuXWY1W5to2gHfb} 25.00
TMPJH..^{conj_DiophantineMod_TMPJH4FSKxiecHi5uPnvqSmZL5dXqnWJdh1} 25.00
TMMXU..^{conj_AbstrHF_TMMXUT5frMrnDqZQVF8SX2CGX9jid4B5y77} 25.00
TMNv5..^{conj_Random1_TMNv5cR4Xcoa372nHbRRzPszdMmozbei54M} 25.00
TMRcZ..^{conj_Diophantine_TMRcZ6TdJmiFfKfrbz5aBdFuXiKMouRme3v} 25.00
TMTzH..^{conj_AbstrHF_TMTzHiLGZ6cVijXyRqkUuoKSSC4R253HNYk} 25.00
TMMvo..^{conj_AbstrHF_TMMvokmR5NPu8YYbunss7H6NhV5xN8QDEWS} 25.00
TMEpA..^{conj_Random3_TMEpAzBopztXyV1qjgxBVVuSRHroAKgyYgo} 25.00
TMTeg..^{conj_Diophantine_TMTeg3od2nrXXKQvExETeiaJuqMSwxksB91} 25.00
TMQgY..^{conj_AbstrHF_TMQgYWrT28AvBDsDBgdt4tEibKiswZw11ds} 25.00
TMJMn..^{conj_Diophantine_TMJMne9Lg2cAHK2qq5khsNzfaxX3UbFczSV} 25.00
TMXTc..^{conj_DiophantineMod_TMXTcG5ZHetdCTEaE1aeFhRsEUjpWLAagky} 25.00
TMWTB..^{conj_Random2_TMWTB6hz7fpvZeU9nnH6ccjUEmLokkpHp8N} 25.00
TMZUZ..^{conj_QBF_TMZUZPKsCgB1sFdBu3i1dyYsnDAnyvRB3Kc} 25.00
TMX4e.. 25.00
TMW67..^{conj_AbstrHF_TMW67yu9YHKdHqSejfM4KfwqDyNDZRvoJRt} 25.00
TMMu4..^{conj_CombUnif_TMMu4epoMMqQcD8cqXxHKF7yo6MT3mRDK7X} 25.00
TMKZN..^{conj_AbstrHF_TMKZNTWR91rse1HPeBgFRKzjTZbnVmCK1tr} 25.00

More open bounties

Collected bounties

307f0..^t6_xregular 25.00
2167e..^{Conj_SNoS_omega_diadic_rational_p_lem__10__10} 25.00
c2b6b..^{Conj_add_SNo_cancel_L__2__3} 25.00
e4ae8..^{Conj_real_mul_SNo_pos__135__10} 25.00
5ece1..^{Conj_add_SNo_prop1__4__2} 25.00
f1351..^{Conj_ctagged_eqE_Subq__5__2} 25.00
cf6dd..^{Conj_minus_SNo_prop1__9__3} 25.00
9d1d7..^{Conj_minus_SNoCut_eq_lem__11__3} 25.00
ec2d3..^{Conj_PNo_rel_imv_ex__16__2} 25.00
1dbb1..^{Conj_real_add_SNo__10__7} 25.00
06412..^{Conj_real_add_SNo__6__6} 25.00
27e21..^{Conj_add_SNo_minus_Lt_lem__2__6} 25.00
70a69..^{Conj_add_SNo_com__2__3} 25.00
694cf..^{Conj_SNo_approx_real__10__10} 25.00
75d78..^{Conj_minus_add_SNo_distr__3__2} 25.00
82613..^{Conj_SNo_etaE__2__1} 25.00
e0a4a..^{Conj_minus_SNo_prop1__2__2} 25.00
a5394..^{Conj_ctagged_eqE_Subq__2__3} 25.00
5c476..^{Conj_real_add_SNo__36__12} 25.00
ec8fd..^{Conj_minus_SNo_prop1__5__7} 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88