Proofgold bounties

Open bounties

TMNct..^t32_series_3 25.00
TMJs6..^t33_yellow10 25.00
TMK5y..^t20_fib_num3 25.00
TMGAb..^t33_mboolean 25.00
TMKWL..^t1_axioms 25.00
TMHyo..^t33_fintopo2 25.00
TMbTe..^t1_sin_cos2 25.00
TMVeR..^t1_comseq_2 25.00
TMGkU..^t20_quin_1 25.00
TMbMi..^t32_domain_1 25.00
TMNL2..^t33_fuzzy_2 25.00
TMX55..^t19_taxonom2 25.00
TMVAu..^t19_topgen_1 25.00
TMXAP..^t1_bvfunc_7 25.00
TMKH2..^t1_algspec1 25.00
TMWRm..^t32_tops_1 25.00
TMEzA..^t19_measure2 25.00
TMYg3..^t19_toler_1 25.00
TMHqs..^t32_ordinal2 25.00
TMZAg..^t33_setfam_1 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