Proofgold recent bounties

Recently placed bounties

TMF2m..^t23_setfam_1 25.00
TMFmn..^t18_topgen_1 25.00
TMEuF..^t15_polyeq_1 25.00
TMRUQ..^t11_card_lar 25.00
TMQUg..^l23_series_5 25.00
TMMEj..^t22_fintopo3 25.00
TMQdm..^t21_arytm_2 25.00
TMcH7..^t22_sin_cos5 25.00
TMTh7..^t22_sysrel 25.00
TMQkX..^t24_fib_num4 25.00
TMSBS..^t22_cfuncdom 25.00
TMJrq..^t24_aff_4 25.00
TMM9D..^t20_setwiseo 25.00
TMP3W..^t21_cfunct_1 25.00
TMXqH..^t17_series_5 25.00
TMLfS..^t23_quin_1 25.00
TMNcc..^t23_polyeq_1 25.00
TMa8d..^t22_diff_2 25.00
TMWz5..^t18_int_1 25.00
TMQEn..^t21_transgeo 25.00

Recently collected bounties

6bf66..^{MetaCat_struct_r_partialord_nno} 250.00
21b6c..^{MetaCat_struct_r_partialord_subobject_classifier} 250.00
31886..^{MetaCat_struct_r_graph_nno} 250.00
eece9..^{MetaCat_struct_r_equivreln_nno} 250.00
d652b..^{MetaCat_struct_b_quasigroup_pullback_constr} 250.00
2614c..^{MetaCat_struct_b_loop_pullback_constr} 250.00
aab6c.. 26.00
a10fd.. 26.00
d06dd.. 26.00
87c7d.. 26.00
bd2a8.. 26.00
dd2c3.. 26.00
8add7.. 26.00
dc189.. 26.00
efa6f.. 26.00
0b533.. 26.00
70f6b.. 26.00
eb7ca.. 26.00
4bd21.. 26.00
ebddd.. 26.00