Proofgold recent bounties

Recently placed bounties

TMWN1..^{conj_DiophantineMod_TMWN1bDw6DM2xW4DWz8ZTjxPxEx38rhJd6L} 25.00
TMNY4..^{conj_QBF_TMNY43Rcw1obwunCPKK3pCaacaDyCx7QiBA} 25.00
TMch9..^{conj_CombUnif_TMch9ePP7HTZ7UTSLFwYGnXfFVwZipJc8Tr} 25.00
TMLqt..^{conj_AbstrHF_TMLqtu3TzvWWrVfb15MoU7pvE6UrWrYaE8F} 25.00
TMcZY..^{conj_Diophantine_TMcZYVC7hy3eNn793gnkZfdecoWu6nENiVe} 25.00
d005f.. 25.00
991a7.. 25.00
TMWz2..^{conj_Diophantine_TMWz27vhyh7WVHYYiQenhJ3v5p8M9gLQZD9} 25.00
feff3.. 25.00
TMMkt..^{conj_CombUnif_TMMktK9Qk7qA5kGZNu1KXQrY7gQTPA5uNk6} 25.00
TMbnb..^{conj_DiophantineMod_TMbnbgW3ey548vtzZx9Fe79HJGWBaXTFVVY} 25.00
TMT9E..^{conj_Diophantine_TMT9EtLVyUsH71vG592pFtfWFvPG7c1Dtzo} 25.00
TMXHv..^{conj_CombUnif_TMXHv7tJzwDCgBfJhdh9zWHQQnMEdgvWDT7} 25.00
TMKS9..^{conj_AbstrHF_TMKS9kGp5WzMFSWgaRmTqaKpM4FRttQD3aa} 25.00
TMRN6..^{conj_Diophantine_TMRN6sJzhTDxCp8eDPr9CDqFCmXMMmgwCeo} 25.00
TMbz9..^{conj_AbstrHF_TMbz9LUrZWGQdiHiYC5TWE3FvNW1SZar8sH} 25.00
TMFAi..^{conj_DiophantineMod_TMFAiwcog9wsriKctQqSk3hMdfTn3S7dZBR} 25.00
TMcrk..^{conj_Random1_TMcrkeKGcN5jGcbstFaBW57AQ1Mu5MiF9CF} 25.00
74fdc.. 25.00
TMKkY..^{conj_HOSetConstr_TMKkYY3Na1xatB4nbxQ9gwqTWTFb2ef72bv} 25.00

More recent placed

Recently collected bounties

760b6..^{MetaCat_struct_b_abelian_group_product_constr} 100.00
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

Proofgold recent bounties

More recent placed

More recent collected