Proofgold bounties

Open bounties

TMYcP..^t2_polyeq_2 25.00
TMRB8..^t48_sin_cos7 25.00
TMXtp..^t23_bvfunc_3 25.00
TMLMN..^t23_pasch 25.00
TMGdx..^t1_setlim_2 25.00
TMMnn..^t20_radix_1 25.00
TMcK4..^t39_series_2 25.00
TMNAW..^t22_polyeq_1 25.00
TMKK5..^t23_sin_cos8 25.00
TMWkd..^t3_polyeq_4 25.00
TMa1B..^t21_bvfunc_3 25.00
TMX8G..^t1_bcialg_1 25.00
TMTpE..^t34_fuzzy_2 25.00
TMGbp..^t20_rpr_1 25.00
TMa6Q..^t3_ordinal4 25.00
TMY1p..^t9_connsp_1 25.00
TMTvA..^t38_irrat_1 25.00
TMdvC..^t36_mboolean 25.00
TMFsW..^t21_diff_2 25.00
TMLyA..^t39_series_5 25.00

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

Open sum
308,364.07

Collected sum
209,545.88