Proofgold bounties

Open bounties

TMMCf..^t49_arytm_3 25.00
TMUaG..^t9_yellow_8 25.00
TMUsf..^t60_funct_5 25.00
TMMVS..^t42_series_5 25.00
TMda3..^t73_funct_3 25.00
TMUCb..^t43_fuzzy_2 25.00
TMTjD..^t45_sin_cos7 25.00
TMSXF..^t57_sin_cos3 25.00
TMR8q..^t8_catalan1 25.00
TMRJQ..^t56_limfunc4 25.00
TMZYv..^t53_normform 25.00
TMcxk..^t5_xreal_1 25.00
TMFor..^t6_ordinal4 25.00
TMGKe..^t5_fib_num 25.00
TMbuQ..^t93_zfmisc_1 25.00
TMRmd..^t96_prepower 25.00
TMdpk..^t6_bcialg_3 25.00
TMWfe..^t52_cfunct_1 25.00
TMZyb..^t62_arytm_3 25.00
TMNEz..^t62_sin_cos3 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