Proofgold recent bounties

Recently placed bounties

TMUXJ..^l89_asympt_1 25.00
TMVqY..^l5_series_5 25.00
TMMLK..^l46_asympt_1 25.00
TMHJg..^t22_polyeq_5 25.00
TMYQE..^t22_quin_1 25.00
TMSm4..^t13_series_3 25.00
TMNjM..^t22_incsp_1 25.00
TMS3z..^t11_polyeq_1 25.00
TMRfj..^l72_normform 25.00
TMTxu..^l35_homothet 25.00
TMbLB..^l7_series_4 25.00
TMGzM..^l16_fib_num4 25.00
TMV4f..^t14_connsp_2 25.00
TMaCy..^t19_catalan1 25.00
TMSq8..^t14_int_1 25.00
TMaw6..^t10_pasch 25.00
TMGKc..^{t164_xxreal_1} 25.00
TMHZY..^l15_series_5 25.00
TMde7..^t17_diff_2 25.00
TMMrb..^l9_series_2 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