Proofgold bounties

Description of bounties

Open bounties

TMdsr..^t8_sin_cos3 25.00
TMXHx..^t6_sin_cos8 25.00
TMKX6..^t57_arytm_3 25.00
TMLfh..^t9_card_lar 25.00
TMFf9..^t90_tsep_1 25.00
TMbfe..^t55_tsep_1 25.00
TMU2r..^t59_nat_d 25.00
TMQxN..^t4_sin_cos5 25.00
TMNfL..^t52_tdlat_3 25.00
TMc1f..^t60_cqc_the3 25.00
TMR4Y..^t5_quin_1 25.00
TMM3K..^t5_aff_3 25.00
TMGLF..^t66_sin_cos7 25.00
TMExm..^t4_radix_3 25.00
TMSVK..^t5_urysohn1 25.00
TMUkn..^t53_sin_cos7 25.00
TMGy1..^t43_sin_cos3 25.00
TMTnF..^t63_funct_5 25.00
TMLps..^t8_ordinal4 25.00
TMNv6..^t6_conmetr1 25.00

More open bounties

Collected bounties

592be..^{MetaCat_struct_p_product_exponent} 250.00
1f2a9..^{MetaFunctor_struct_e_struct_p_nonempty} 250.00
a53be..^{MetaCatSet_pullback_gen} 250.00
25c26..^{MetaCatSet_subobject_classifier} 250.00
833b6..^{MetaCatSmallSet_nno} 250.00
d6d09..^{MetaCat_struct_r_wellord_nno} 250.00
15618..^{MetaCatSet_pushout} 250.00
3aa34..^{MetaCat_struct_r_graph_subobject_classifier} 250.00
12c76..^{MetaCat_struct_u_nno} 250.00
e5b47..^{MetaCatSet_subobject_classifier_gen_ex} 250.00
bfc42..^{MetaCatHFSet_pushout} 250.00
dcba1..^{MetaCat_struct_p_nno} 250.00
1051b..^{MetaCatSet_nno_gen_ex} 250.00
e6d9e..^{MetaCat_struct_b_group_equalizer_constr} 125.00
994bf..^{MetaCat_struct_b_abelian_group_equalizer_constr} 125.00
f1b36..^{MetaCat_struct_b_loop_equalizer_constr} 125.00
1451d..^{MetaCat_struct_b_monoid_equalizer_constr} 125.00
9347c..^{MetaCat_struct_b_semigroup_equalizer_constr} 125.00
b8635..^{MetaCat_struct_b_quasigroup_equalizer_constr} 125.00
1d8ba..^{MetaCat_struct_r_equalizer_constr} 125.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88