Proofgold recent bounties

Recently placed bounties
5819e.. 280.00 73a98.. 280.00 d58dd.. 280.00 ae991.. 280.00 95a21.. 280.00 7a391.. 280.00 beb44.. 280.00 e59a1.. 280.00 4dd7a.. 280.00 1e19a.. 280.00 fb310.. 280.00 8ff5a.. 280.00 2dbc3.. 280.00 a3320.. 280.00 44fca.. 280.00 7853d.. 280.00 2aec9.. 280.00 8c737.. 280.00 a4380.. 280.00 cc96c.. 280.00 More recent placed

Recently collected bounties

05bdf..^{MetaCat_struct_b_group_product_constr} 100.00
183c5..^{MetaCat_struct_b_semigroup_product_constr} 100.00
64746..^{MetaCat_struct_b_monoid_product_constr} 100.00
9347c..^{MetaCat_struct_b_semigroup_equalizer_constr} 125.00
994bf..^{MetaCat_struct_b_abelian_group_equalizer_constr} 125.00
e6d9e..^{MetaCat_struct_b_group_equalizer_constr} 125.00
61ba2..^{MetaCat_struct_b_semigroup_pullback_constr} 250.00
42863..^{MetaCat_struct_b_group_pullback_constr} 250.00
e443a..^{MetaCat_struct_b_abelian_group_pullback_constr} 250.00
a69df..^{MetaCat_struct_u_bij_left_adjoint_forgetful} 750.00
34c67..^{Conj_ctagged_eqE_Subq__1__1} 25.00
6cfb5..^{Conj_add_SNo_minus_SNo_linv__9__5} 25.00
47fc9..^{Conj_eps_ordsucc_half_add__7__0} 25.00
6cf6d..^{Conj_SNo_eta__5__1} 25.00
a558a..^{Conj_SNoL_1__1__0} 25.00
5103b..^{Conj_real_add_SNo__45__20} 25.00
09057..^{Conj_real_mul_SNo_pos__14__9} 25.00
3aec6..^{Conj_SNo_approx_real_rep__1__1} 25.00
dd834..^{Conj_ordinal_SNoR__1__0} 25.00
e1d83..^{Conj_PNo_rel_imv_ex__7__4} 25.00

Proofgold recent bounties

More recent placed

More recent collected