Proofgold recent bounties

Recently placed bounties

TMWvU..^t16_metric_3 25.00
TMTRP..^t12_bvfunc_1 25.00
TMYjL..^t13_series_5 25.00
TMY5x..^l3_finset_1 25.00
TMZ12..^l65_square_1 25.00
TMbYR..^t12_polyeq_4 25.00
TMPHa..^t1_aff_3 25.00
TMHZY..^t15_int_1 25.00
TMJZa..^l11_fib_num4 25.00
TMb9j..^l16_series_2 25.00
TMbMN..^l11_series_2 25.00
TMME1..^t173_xreal_1 25.00
TMNdj..^l21_wellord2 25.00
TMM47..^l43_sin_cos7 25.00
TMNYq..^t12_polyeq_5 25.00
TMFxQ..^t12_bvfunc_3 25.00
TMM1i..^t19_cfunct_1 25.00
TMZBV..^t15_catalan1 25.00
TMNbr..^l27_fib_num 25.00
TMZ5f..^t19_card_lar 25.00

Recently collected bounties

46fc2.. 25.00
62a6f.. 25.00
932d7.. 25.00
391d4.. 25.00
TwoRamseyProp_4_8_Power_7^{TwoRamseyProp_4_8_Power_7} 500.00
TwoRamseyProp_4_9_Power_8^{TwoRamseyProp_4_9_Power_8} 500.00
not_TwoRamseyProp_4_6_Power_5^{not_TwoRamseyProp_4_6_Power_5} 100.00
not_TwoRamseyProp_4_6_35^{not_TwoRamseyProp_4_6_35} 300.00
not_TwoRamseyProp_6_7_Power_5^{not_TwoRamseyProp_6_7_Power_5} 500.00
not_TwoRamseyProp_4_7_Power_5^{not_TwoRamseyProp_4_7_Power_5} 500.00
not_TwoRamseyProp_5_6_Power_5^{not_TwoRamseyProp_5_6_Power_5} 500.00
not_TwoRamseyProp_5_7_Power_5^{not_TwoRamseyProp_5_7_Power_5} 500.00
not_TwoRamseyProp_4_8_Power_5^{not_TwoRamseyProp_4_8_Power_5} 500.00
not_TwoRamseyProp_6_6_Power_5^{not_TwoRamseyProp_6_6_Power_5} 500.00
not_TwoRamseyProp_5_8_Power_5^{not_TwoRamseyProp_5_8_Power_5} 500.00
not_TwoRamseyProp_4_9_Power_5^{not_TwoRamseyProp_4_9_Power_5} 500.00
not_TwoRamseyProp_5_5_Power_4^{not_TwoRamseyProp_5_5_Power_4} 500.00
75c09.. 25.00
3e831.. 25.00
5fbd2.. 25.00