Proofgold recent bounties

Recently placed bounties

TMTUn..^t18_aff_4 25.00
TMMGu..^t23_fuzzy_2 25.00
TMQkU..^t18_setlim_1 25.00
TMQ3u..^t24_ordinal4 25.00
TMbAj..^t18_transgeo 25.00
TMNy7..^t22_fib_num3 25.00
TMGqy..^t14_pre_topc 25.00
TMVg2..^l32_metric_3 25.00
TMSYg..^t15_radix_3 25.00
TMVPD..^l15_homothet 25.00
TMZMY..^l19_homothet 25.00
TMVAh..^l10_parsp_2 25.00
TMFZh..^l63_aff_4 25.00
TMFtT..^t15_compts_1 25.00
TMQNQ..^t17_polyeq_1 25.00
TMKGG..^t16_int_1 25.00
TMKWP..^t13_pasch 25.00
TMH7j..^t10_cfuncdom 25.00
TMHzH..^t15_series_5 25.00
TMNza..^t10_bvfunc10 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