Proofgold bounties

Description of bounties

Open bounties

TMGbp..^t20_rpr_1 25.00
TMYoH..^{Conj_mul_SNo_assoc_lem2__42__15} 25.00
TMVLC..^{Conj_mul_SNo_Lt__55__12} 25.00
TMRJ5..^{Conj_real_mul_SNo_pos__15__12} 25.00
TMKwh..^{Conj_mul_SNo_assoc_lem1__79__14} 25.00
TMdio..^{Conj_mul_SNo_distrR__128__15} 25.00
TMYfw..^{Conj_mul_SNo_assoc_lem2__32__11} 25.00
TMMG8..^{Conj_mul_SNo_assoc_lem2__48__21} 25.00
TMVMM..^{Conj_SNo_approx_real__18__8} 25.00
TMSuP..^{Conj_mul_SNo_distrR__120__16} 25.00
TMZmg..^{Conj_mul_SNo_assoc_lem1__65__9} 25.00
TMHYk..^{Conj_real_complete1__3__1} 25.00
TMW92..^{Conj_mul_SNo_com__2__14} 25.00
TMRo6..^{Conj_real_mul_SNo_pos__93__16} 25.00
TMYpZ..^{Conj_mul_SNo_SNoL_interpolate__11__0} 25.00
TMbHY..^{Conj_mul_SNo_distrR__16__14} 25.00
TMVes..^{Conj_SNoCut_ext__2__3} 25.00
TMaEB..^{Conj_mul_SNo_eq_3__2__9} 25.00
TMPVa..^{Conj_real_complete1__25__7} 25.00
TMVyc..^{Conj_SNo_triangle2__2__0} 25.00

More open bounties

Collected bounties

TwoRamseyProp_3_5_Power_4^{TwoRamseyProp_3_5_Power_4} 500.00
c642e..^{not_TwoRamseyProp_6_7_Power_4} 500.00
ce62b..^{not_TwoRamseyProp_4_4_Power_3} 375.00
TwoRamseyProp_3_4_Power_4^{TwoRamseyProp_3_4_Power_4} 375.00
TwoRamseyProp_3_4_Power_5^{TwoRamseyProp_3_4_Power_5} 375.00
TwoRamseyProp_4_4_18^{TwoRamseyProp_4_4_18} 375.00
not_TwoRamseyProp_4_4_17^{not_TwoRamseyProp_4_4_17} 375.00
ea57c.. 375.00
485cd..^{not_TwoRamseyProp_4_4_Power_4} 375.00
TwoRamseyProp_4_4_Power_6^{TwoRamseyProp_4_4_Power_6} 375.00
TwoRamseyProp_4_4_Power_5^{TwoRamseyProp_4_4_Power_5} 375.00
not_TwoRamseyProp_3_7_22^{not_TwoRamseyProp_3_7_22} 300.00
not_TwoRamseyProp_4_6_35^{not_TwoRamseyProp_4_6_35} 300.00
df410.. 280.00
0e5d4.. 280.00
a13e1.. 280.00
b6c37.. 280.00
1288f.. 280.00
57004.. 280.00
c7cce.. 280.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88