Proofgold bounties

Description of bounties

Open bounties

TMJb2..^{conj_Diophantine_TMJb2Szsd6TbZ9wv3fhvxBzXMNSL7iWxHiu} 25.00
TMQDP..^{conj_DiophantineMod_TMQDPM7kk25H7YKpcPegqa8k86D8198egYu} 25.00
TMGep..^{conj_DiophantineMod_TMGep8SGuJ2Bku69iXe1JTohqzFiK7xExCR} 25.00
TMNtr..^{conj_Diophantine_TMNtr8rThH5DP89448Z6RrDVrKmhHMTJSnM} 25.00
TMXkG..^{conj_Diophantine_TMXkGJ3WzrvH5eYZf77E6ALkfRcspdLuE34} 25.00
TMTWY..^{conj_HOSetConstr_TMTWYXBfwREa4QiS4s2Q8nJ946WRdgwdkke} 25.00
TMbaE..^{conj_AbstrHF_TMbaEd5SpXQrdyvbupkrCKzR2YDSF67jLp6} 25.00
TMThp..^{conj_HOSetConstr_TMThpaR5E61DrV6qh9NAoeb5ZceD6VLJmXM} 25.00
TMMQW..^{conj_CombUnif_TMMQWY1iDAgKpngPUr3TkYQfFq6nQaJ2ABD} 25.00
TMWUV..^{conj_AbstrHF_TMWUVgk3V5okYRBoM3AvZ5CjUCFFKHKJCy3} 25.00
TMEwZ..^{conj_DiophantineMod_TMEwZiwzFrWcMaTbCRbD5foG2oArkJPaz3V} 25.00
TMMQT..^{conj_DiophantineMod_TMMQTtBtiVfLQKDQpsVMgbbZBWDgqB52Dsa} 25.00
TMH6x..^{conj_Diophantine_TMH6xYcn2hHM8A9PjTDXxKW72rbsF2MWHXj} 25.00
TMbGE..^{conj_Diophantine_TMbGEXwdqsRaFSdQ5qhsSYQANYiJebp3rRQ} 25.00
TMRJU..^{conj_HOUnif_TMRJUQCtUPYEPfHpVoYozUitnv3rUDcXmzk} 25.00
TMaCB..^{conj_Diophantine_TMaCBTne6AqxiYbWr5koDPovShYNeXbiy8S} 25.00
TMZL6..^{conj_Diophantine_TMZL6v5WFZCT9RnR98tw6SzrcrFDqacRp2Q} 25.00
TMWBj..^{conj_Diophantine_TMWBjnT6KtwQMR3zXUAcBjKrVSDuLb3kPcf} 25.00
TMXF5..^{conj_Diophantine_TMXF5zhLiUUZuofr5nq2SSs9qECX5W7oYeW} 25.00
TMVFs..^{conj_HOSetConstr_TMVFsP7tgX8Fci33gR3LhonfJbFFNhs3MeP} 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