Proofgold bounties

Description of bounties

Open bounties

TMauR..^t35_wellord1 25.00
TMTaE..^t34_sin_cos4 25.00
TMWhR..^t26_fib_num4 25.00
TMQJp..^t3_diff_2 25.00
TMX3o..^t35_sin_cos4 25.00
TMR3m..^t36_bvfunc_3 25.00
TMMQp..^t35_series_5 25.00
TMbLL..^t28_cfunct_1 25.00
TMP7z..^t28_bcialg_3 25.00
TMZAg..^t33_setfam_1 25.00
TMKWL..^t1_axioms 25.00
TMKuw..^t38_sin_cos5 25.00
TMXiC..^t9_aff_3 25.00
TMRxN..^t2_altcat_2 25.00
TMNvK..^t42_ordinal3 25.00
TMTiK..^t3_algspec1 25.00
TMTU1..^t2_aff_3 25.00
TMYfb..^t21_polyeq_1 25.00
TMNps..^t16_wellord2 25.00
TMNKZ..^t37_sin_cos7 25.00

More open bounties

Collected bounties

TwoRamseyProp_4_9_Power_8^{TwoRamseyProp_4_9_Power_8} 500.00
TwoRamseyProp_4_8_Power_8^{TwoRamseyProp_4_8_Power_8} 500.00
TwoRamseyProp_4_4_Power_7^{TwoRamseyProp_4_4_Power_7} 500.00
TwoRamseyProp_4_8_Power_7^{TwoRamseyProp_4_8_Power_7} 500.00
TwoRamseyProp_4_6_Power_7^{TwoRamseyProp_4_6_Power_7} 500.00
TwoRamseyProp_3_8_Power_6^{TwoRamseyProp_3_8_Power_6} 500.00
TwoRamseyProp_3_5_Power_8^{TwoRamseyProp_3_5_Power_8} 500.00
TwoRamseyProp_3_7_Power_6^{TwoRamseyProp_3_7_Power_6} 500.00
TwoRamseyProp_3_6_Power_7^{TwoRamseyProp_3_6_Power_7} 500.00
TwoRamseyProp_3_6_Power_8^{TwoRamseyProp_3_6_Power_8} 500.00
TwoRamseyProp_3_7_Power_8^{TwoRamseyProp_3_7_Power_8} 500.00
TwoRamseyProp_3_6_Power_6^{TwoRamseyProp_3_6_Power_6} 500.00
TwoRamseyProp_3_7_Power_7^{TwoRamseyProp_3_7_Power_7} 500.00
TwoRamseyProp_3_5_Power_7^{TwoRamseyProp_3_5_Power_7} 500.00
TwoRamseyProp_3_5_Power_6^{TwoRamseyProp_3_5_Power_6} 500.00
TwoRamseyProp_3_5_Power_5^{TwoRamseyProp_3_5_Power_5} 500.00
not_TwoRamseyProp_6_7_Power_5^{not_TwoRamseyProp_6_7_Power_5} 500.00
TwoRamseyProp_3_4_Power_7^{TwoRamseyProp_3_4_Power_7} 500.00
TwoRamseyProp_3_4_Power_8^{TwoRamseyProp_3_4_Power_8} 500.00
TwoRamseyProp_3_4_Power_6^{TwoRamseyProp_3_4_Power_6} 500.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88