Proofgold bounties

Description of bounties

Open bounties

TMQ7F..^{conj_DiophantineMod_TMQ7F47vCZzjDcFoUNM9WYZHxVViQ595q5E} 25.00
TMMWH..^{conj_AbstrHF_TMMWHMpfKqBWxtgUzssGwotRErQaNv4Q2Td} 25.00
TMLtF..^{conj_DiophantineMod_TMLtFk2evCKb1NuD5qsGSAjz1tCrj9oJ4c1} 25.00
TMUHH..^{conj_HOSetConstr_TMUHHcDXbMvkpAZQMTUdPnGsdUNQqqE2gt7} 25.00
TMTar..^{conj_DiophantineMod_TMTarbAE4C64ThXkxoLFzPrSLCzqKvLrk5F} 25.00
TMaMc..^{conj_DiophantineMod_TMaMc4AxPXVEeXCJ9CrkxpsexDSGD5yNQo7} 25.00
TMWmz..^{conj_DiophantineMod_TMWmzdgmPsQqyPnXMTQxNxtya9v4mkNgHNz} 25.00
TMFy5..^{conj_AbstrHF_TMFy5nGgzKTcSCHg5Tgwqx4XuZAdmmkcBVi} 25.00
TMaMW..^{conj_QBF_TMaMWP8JynPbXZw9FnM6XtkTS5t3NgCbpbK} 25.00
TMPBf..^{conj_CombUnif_TMPBf9uZ68N6jHmK7XM8cWLn57wnYz2VisK} 25.00
TMcLg..^{conj_DiophantineMod_TMcLgjDtqLx1v5BnrYrcuYUCmZiUWg8yJo7} 25.00
TMbpA..^{conj_CombUnif_TMbpAhFPDXkevYU1XqVo54afki6yten3SYE} 25.00
TMYXR..^{conj_QBF_TMYXRryBFqURy5evp3ExYPiaJqqhvzHmcF8} 25.00
TMMWE..^{conj_Random2_TMMWEccyydreNAuWgWygSa5dDuVJ9cHj5Wr} 25.00
TMHr1..^{conj_HOUnif_TMHr1RXeXUGxBaLvHFphdi3xZ1fxbfcNEKs} 25.00
TMZCH..^{conj_HOSetConstr_TMZCHMPWBRVDfk41jyc1NgaEyKPpa5P5nDU} 25.00
TMVix..^{conj_Random1_TMVixMcejXURDNZndYwXpogcwCpVfq4B7FG} 25.00
TMMCx..^{conj_AbstrHF_TMMCxKrsJD4Y6w5ddjy8KcrfPPSJ4GCuG6H} 25.00
TMRPt..^{conj_CombUnif_TMRPt7QF2xrE2USGo2m2DvNvPbPNeXG3uf1} 25.00
TMce4..^{conj_QBF_TMce4PwaRVc1DZGRfbXGBacqV4gTEHPkbFt} 25.00

More open bounties

Collected bounties

5b30a..^{not_TwoRamseyProp_4_5_Power_4} 100.00
TwoRamseyProp_5_5_Power_6^{TwoRamseyProp_5_5_Power_6} 100.00
TwoRamseyProp_3_6_Power_5^{TwoRamseyProp_3_6_Power_5} 100.00
1d99f..^{not_TwoRamseyProp_3_7_Power_4} 100.00
dd5dc..^{MetaCat_struct_b_quasigroup_product_constr} 100.00
64746..^{MetaCat_struct_b_monoid_product_constr} 100.00
183c5..^{MetaCat_struct_b_semigroup_product_constr} 100.00
05bdf..^{MetaCat_struct_b_group_product_constr} 100.00
760b6..^{MetaCat_struct_b_abelian_group_product_constr} 100.00
6133c..^{MetaCat_struct_b_loop_product_constr} 100.00
17458..^{MetaCat_struct_r_wellord_coproduct_constr} 100.00
ad517..^{MetaCat_struct_r_graph_coproduct_constr} 100.00
ebfe1..^{MetaCat_struct_r_ord_coproduct_constr} 100.00
709ef..^{MetaCat_struct_r_graph_product_constr} 100.00
42715..^{MetaCat_struct_r_partialord_product_constr} 100.00
8a2ce..^{MetaCat_struct_r_partialord_coproduct_constr} 100.00
b370d..^{MetaCat_struct_r_per_product_constr} 100.00
ece68..^{MetaCat_struct_r_product_constr} 100.00
9a2fc..^{MetaCat_struct_r_coproduct_constr} 100.00
f2a7f..^{MetaCat_struct_u_idem_product_constr} 100.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88