Proofgold bounties

Open bounties

TMdet..^t19_connsp_2 25.00
TMXER..^t23_waybel19 25.00
TMQQE..^t17_yellow20 25.00
TMYUB..^t17_sin_cos5 25.00
TMY91..^t18_yellow20 25.00
TMVmU..^t18_polyeq_3 25.00
TMUHE..^t22_sin_cos8 25.00
TMUAL..^t18_nat_1 25.00
TMYfb..^t21_polyeq_1 25.00
TMUeV..^t21_bvfunc26 25.00
TMTRn..^t17_setlim_1 25.00
TMRPH..^t22_algspec1 25.00
TMHoz..^t21_lpspace2 25.00
TMQ6M..^t23_series_5 25.00
TMXVr..^t18_diff_2 25.00
TMTGA..^t22_series_5 25.00
TMPen..^t17_tdlat_1 25.00
TMT7H..^t21_quin_1 25.00
TMcHv..^t23_fib_num3 25.00
TMQiT..^t19_bvfunc_9 25.00

Collected bounties

cae9a.. 25.00
8c107.. 25.00
3f0d2.. 25.00
d22fa.. 25.00
aefa3.. 25.00
90f17.. 25.00
d7022.. 25.00
0008e.. 25.00
5f782.. 25.00
35e2b.. 25.00
11a9d.. 25.00
1ddc7.. 25.00
7fba8.. 25.00
056f4.. 25.00
3ab71..^{MetaCat_struct_b_quasigroup_initial} 25.00
aa3f3..^{MetaCat_struct_b_semigroup_terminal} 25.00
ad386..^{MetaCat_struct_b_abelian_group_terminal} 25.00
40a5e..^{MetaCat_struct_c_terminal} 25.00
05e4b..^{MetaCat_struct_c_initial} 25.00
e4b9e..^{MetaCat_struct_b_monoid_terminal} 25.00

Open sum
308,364.07

Collected sum
209,545.88