Proofgold recent bounties

Recently placed bounties

TMRbZ..^t16_sin_cos8 25.00
TMMhy..^l6_series_3 25.00
TMUAL..^t18_nat_1 25.00
TMbD8..^t14_sin_cos3 25.00
TMFkc..^t11_diff_2 25.00
TMLnw..^l10_homothet 25.00
TMFUR..^t12_substlat 25.00
TMYJR..^t16_quin_1 25.00
TMKyx..^t10_translac 25.00
TMWWS..^t15_nat_2 25.00
TMTfx..^t32_diff_2 25.00
TMW4U..^t1_mboolean 25.00
TMNL2..^t33_fuzzy_2 25.00
TMQEn..^t21_transgeo 25.00
TMXhg..^t20_extreal2 25.00
TMSeT..^t40_cqc_the2 25.00
TMWSm..^t26_series_4 25.00
TMdmG..^l29_projred2 25.00
TMRPH..^t22_algspec1 25.00
TMXYz..^t2_sin_cos7 25.00

More recent placed

Recently collected bounties

6f146.. 26.00
912c3.. 26.00
cfccf.. 26.00
ec184..^{MetaCat_struct_r_equivreln_coproduct_constr} 100.00
0e807..^{MetaCat_struct_p_nonempty_coproduct_constr} 100.00
09ba2..^{MetaCat_struct_p_coproduct_constr} 100.00
5de9f..^{MetaCat_struct_r_per_coproduct_constr} 100.00
9a2fc..^{MetaCat_struct_r_coproduct_constr} 100.00
8a2ce..^{MetaCat_struct_r_partialord_coproduct_constr} 100.00
ad517..^{MetaCat_struct_r_graph_coproduct_constr} 100.00
e634a.. 26.00
3f4ec.. 26.00
ffbd6.. 26.00
4cb6e.. 26.00
be048.. 26.00
60b79.. 26.00
f4147.. 26.00
4eb20.. 26.00
cd28a.. 26.00
a3dc1.. 26.00

Proofgold recent bounties

More recent placed

More recent collected