Proofgold bounties

Open bounties

TMMoc..^l14_jordan1d 25.00
TMP3Y..^t18_classes1 25.00
TMTxu..^l35_homothet 25.00
TMHdw..^t19_series_2 25.00
TMNB6..^t17_fib_num4 25.00
TMVg2..^l32_metric_3 25.00
TMPC6..^t16_fintopo2 25.00
TMNMx..^t19_pasch 25.00
TMGj2..^t18_series_3 25.00
TMYsL..^l29_projdes1 25.00
TMXJk..^t11_aff_2 25.00
TMW7C..^t18_sin_cos8 25.00
TMQUg..^l23_series_5 25.00
TMW9K..^t17_cfunct_1 25.00
TMdLB..^l63_jgraph_3 25.00
TMLke..^t17_series_4 25.00
TMa4K..^t18_yellow_4 25.00
TMSLy..^{l117_bcialg_1} 25.00
TMb8f..^t14_polyeq_1 25.00
TMRav..^l22_substlat 25.00

Collected bounties
585e5.. 280.00 e5fe5.. 280.00 3e118.. 280.00 4c6a1.. 280.00 b5f99.. 280.00 39a86.. 280.00 f0c39.. 280.00 b434c.. 280.00 740a6.. 280.00 07b9c.. 280.00 625b8.. 280.00 9ae00.. 280.00 1ce71.. 280.00 2152d.. 280.00 41b71.. 280.00 38799.. 280.00 595a8.. 280.00 1e12d.. 280.00 745b7.. 280.00 bb68d.. 280.00 More closed bounties

Open sum
308,364.07

Collected sum
209,545.88