Proofgold recent bounties

Recently placed bounties

TMRar..^t31_series_3 25.00
TMUVf..^t40_complex1 25.00
TMSEr..^t15_diff_2 25.00
TMGaf..^t37_closure1 25.00
TMZEw..^t6_metric_6 25.00
TMaA4..^t26_sin_cos5 25.00
TMNHw..^t35_fib_num4 25.00
TMNcc..^t23_polyeq_1 25.00
TMZXQ..^t34_mboolean 25.00
TMG7g..^t25_connsp_3 25.00
TMP3W..^t21_cfunct_1 25.00
TMG2A..^t1_bvfunc10 25.00
TMGfH..^t25_domain_1 25.00
TMK1C..^t22_nat_d 25.00
TMZPP..^t48_wellord1 25.00
TMVWV..^t33_series_5 25.00
TMQXd..^t1_quin_1 25.00
TMMWK..^t23_filter_1 25.00
TMX9X..^t1_series_4 25.00
TMMyp..^t23_yellow_2 25.00

Recently collected bounties
6eafe.. 280.00 ee513.. 280.00 745b7.. 280.00 07b9c.. 280.00 740a6.. 280.00 39a86.. 280.00 e5fe5.. 280.00 41c8b.. 280.00 73a98.. 280.00 6bbff.. 280.00 c7a39.. 280.00 670de.. 280.00 3de6d.. 280.00 49180.. 280.00 da898.. 280.00 9d36d.. 280.00 7c33d.. 280.00 3f448.. 280.00 c2580.. 280.00 df410.. 280.00 More recent collected