Proofgold bounties

Description of bounties

Open bounties

TMU7g..^{conj_Diophantine_TMU7gvURSHXNc2b8mAKMFGLbrhcCZyvH9mY} 25.00
TMcvc..^{conj_AbstrHF_TMcvcUgXgZWH7st62SXET8yoNUPPdjjA9Vb} 25.00
TMYSt..^{conj_Diophantine_TMYStwaXrjyfLgcTEusLKRThpH93Xyydqdk} 25.00
TMWK3..^{conj_AbstrHF_TMWK3whEP9K6GZdcVcRVnP11ayzfumzVy6X} 25.00
TMNTt..^{conj_Diophantine_TMNTtKGziQVK5vwsMTgPjMjwCgTeK2oCipp} 25.00
TMQbq..^{conj_DiophantineMod_TMQbqETTbghYxCwfz4HBiszhBc1qXHaKW5z} 25.00
TMYrm..^{conj_AbstrHF_TMYrmjMfi2wkPTiPMV9oVBPzaEW71AJPQQN} 25.00
TMLLV..^{conj_Diophantine_TMLLVGjVowu24Nd5TT86JGPnwRJag25Cpt3} 25.00
TMHza..^{conj_Diophantine_TMHzaqphLVEvkiAmmqxgXP8WmxxUAamSxmF} 25.00
TMMew..^{conj_Diophantine_TMMewLeZEgh2Abum36bkjNRMdABvpngmtKo} 25.00
TMSrR..^{conj_AbstrHF_TMSrRU1qadDKJRBTEpzwu1TMt72rRNWUth4} 25.00
TMasi..^{conj_AbstrHF_TMasiMMQCzjU6xnuoQytrmuAsNGmTduLQdo} 25.00
TMcAt..^{conj_Diophantine_TMcAtKJ4pW3P9UHUEhQnLrt4q6pokjZo2s2} 25.00
TMS3q..^{conj_Diophantine_TMS3qsAX2HUDWJcRso1MqQJqdyoyuD3NX8G} 25.00
TMWA2..^{conj_Diophantine_TMWA2eiKHNypWTfGkogq4bcTC4kyvPKozaj} 25.00
TMX3u..^{conj_DiophantineMod_TMX3u2eDxyXiEcfZ5FvY7tKY1dAiS1E97xX} 25.00
TMH4Z..^{conj_Random1_TMH4ZacEkoR1PKiEftwQYVDcNKBwmTu9Msn} 25.00
TMMX4..^{conj_DiophantineMod_TMMX4SWY8Vuw4Hkf8XrdYXSNgSpSvYbfF46} 25.00
TMZDF..^{conj_HOSetConstr_TMZDFW6pMNWz7vpxXhhZwdjfnM6K7Yz1czg} 25.00
TMUDa..^{conj_DiophantineMod_TMUDaoJyjvTnGELebiwiq5dUB8FREsrE3xg} 25.00

More open bounties

Collected bounties

5de9f..^{MetaCat_struct_r_per_coproduct_constr} 100.00
e28a3..^{MetaCat_struct_r_ord_product_constr} 100.00
6ce53..^{MetaCat_struct_u_bij_product_constr} 100.00
a9079..^{MetaCat_struct_u_product_constr} 100.00
501bf..^{MetaCat_struct_u_inj_product_constr} 100.00
45658..^{MetaCat_struct_p_nonempty_product_constr} 100.00
4f9ac..^{MetaCat_struct_p_product_constr} 100.00
09ba2..^{MetaCat_struct_p_coproduct_constr} 100.00
0e807..^{MetaCat_struct_p_nonempty_coproduct_constr} 100.00
4d1df..^{MetaCat_struct_r_equivreln_product_constr} 100.00
150e3..^{MetaCat_struct_b_product_constr} 100.00
ec184..^{MetaCat_struct_r_equivreln_coproduct_constr} 100.00
71d59..^{MetaCat_struct_r_wellord_product_constr} 100.00
cfccf.. 26.00
768b0..^{conj_AIM1_TMcuUKx4SdMiKwVEy1WB9tCEQewC8FxRGAg} 26.00
cf2b6..^{conj_AIM2_TMXardi9CRDaqSejfaR5u7vR4AjS81KWJH3} 26.00
ebd2f..^{conj_AIM2_TMTbwVQp318gAGAJCrUiPdnsqjWJWJuxG6q} 26.00
24d41..^{conj_AIM2_TMQXVsrJp8BRNdWLZF3zqbT9NNF6kWGSAd8} 26.00
9886b..^{conj_AIM2_TMcV19AHzjnh7ebvpXjipoWQ4auLn4LmczZ} 26.00
8e009..^{conj_AIM1_TMcGK7aNaxGsF6e9fugVsG1AXBAVzQ22mud} 26.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88