Proofgold bounties

Description of bounties

Open bounties

TMbft..^l32_ens_1 25.00
TMHaT..^t12_diff_2 25.00
TMSTg..^t11_power 25.00
TMLnw..^l10_homothet 25.00
TMXTX..^t14_diff_2 25.00
TMWRE..^t10_polyeq_2 25.00
TMdLB..^l63_jgraph_3 25.00
TMWuB..^l23_csspace2 25.00
TMJuP..^t177_xreal_1 25.00
TMUuA..^t15_series_3 25.00
TMGjp..^l12_projdes1 25.00
TMXjs..^t140_pboole 25.00
TMSBc..^l4_parsp_2 25.00
TMGuE..^{l136_bcialg_1} 25.00
TMbNu..^l1_bhsp_7 25.00
TMXJR..^l12_fib_num 25.00
TMLKr..^t13_cfuncdom 25.00
TMFsq..^l18_hessenbe 25.00
TMGRU..^t16_series_5 25.00
TMT5Q..^t104_funct_2 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