Proofgold bounties

Open bounties

TMFKq..^t6_fib_num 25.00
TMWjv..^t50_sin_cos3 25.00
TMPpn..^t66_funct_3 25.00
TMYyX..^t46_fdiff_7 25.00
TMM3P..^t48_fuzzy_2 25.00
TMHeb..^t44_sin_cos7 25.00
TMN5y..^t48_diff_3 25.00
TMXHD..^t54_sin_cos3 25.00
TMNtC..^t9_waybel27 25.00
TMdHL..^t43_isomichi 25.00
TMUet..^t5_borsuk_4 25.00
TMXsK..^t61_sin_cos7 25.00
TMJeu..^t74_complex1 25.00
TMUE7..^t4_complex2 25.00
TMYnJ..^t65_setlim_2 25.00
TMQ75..^t4_translac 25.00
TMdx1..^t50_series_5 25.00
TMce1..^t51_sin_cos3 25.00
TMS6T..^t59_sin_cos3 25.00
TMWED..^t9_classes1 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