Proofgold bounties

Description of bounties

Open bounties

TMFTn..^{conj_QBF_TMFTngJ6KfXz785Nimdxw19sxquRmrpKQaC} 25.00
TMYk2..^{conj_HOUnif_TMYk2EZFHY1VMSHmug9yxzktT7vY1Q5yVxC} 25.00
TMFXq..^{conj_DiophantineMod_TMFXqk7QA43LThGWvCZFAiD61RXdhPYpD6Q} 25.00
TMEj5..^{conj_DiophantineMod_TMEj5rL21oL5vR737h9mCZLza7jPcTz4G8W} 25.00
TMXiy..^{conj_DiophantineMod_TMXiyRgw3QcVHLyhRhG9aWyEN6TVfUA8rfW} 25.00
TMW7W..^{conj_DiophantineMod_TMW7WigEBXFNmWjLybn9FpogjZxzAByq9EG} 25.00
TMNDV..^{conj_DiophantineMod_TMNDVuJj4R7EFaHF2piuhLpZAsmEkMxr6uY} 25.00
TMYbj..^{conj_DiophantineMod_TMYbj2w4H6UVcFo1CdXkvpou1fE5bbnVvba} 25.00
TMPzY..^{conj_AbstrHF_TMPzYTMjxdo9nRwScxEHbEotrJD8JF8ZbKx} 25.00
TMM5C..^{conj_CombUnif_TMM5CWXXU8TQNpJSkqMyxCX2W7QFjZQRKKh} 25.00
TMYXU..^{conj_Random1_TMYXUPQjhRehxqq6sx1MSzgoN8azJABGN62} 25.00
TMcDS..^{conj_HOSetConstr_TMcDSicyK8qhEj9KgSAH4qVJbdK5nLj4wBp} 25.00
TMJvC..^{conj_AbstrHF_TMJvCWmRevG8icjVEpBJRtFGkHCJ3d19o2h} 25.00
TMHaX..^{conj_QBF_TMHaXMKEBF8NvBGqqyNHMPavREz3Kevj1pD} 25.00
TMZSu..^{conj_AbstrHF_TMZSuzGLegHu58Dqbbkz1GgG7mKHofbfiD5} 25.00
TMFoR..^{conj_AbstrHF_TMFoRMHKhZUDsvC7f2FQm6sZc68ECJZHnWW} 25.00
TMUP7..^{conj_QBF_TMUP7vVeqZrv52HHK58EEcZa7TKJ6grBBan} 25.00
TMG7D..^{conj_HOUnif_TMG7DDaevZyH1trku9P7fSaTVAvt3mSiA29} 25.00
TMN4S..^{conj_DiophantineMod_TMN4SrnDN3gFXuKAzeT7yUTM7SPNqisw7i4} 25.00
TMQSm..^{conj_HOSetConstr_TMQSmG5r8i9Z9LB749bpQHBiJRQ9fBj2sHJ} 25.00

More open bounties

Collected bounties

877ff..^{MetaCat_struct_u_idem_equalizer_constr} 125.00
57f50..^{MetaCat_struct_r_per_equalizer_constr} 125.00
49b78.. 100.00
8bf56.. 100.00
50435.. 100.00
1efd9.. 100.00
b51da.. 100.00
c283f.. 100.00
8cad5.. 100.00
18a4e.. 100.00
867ba.. 100.00
8acb5.. 100.00
04590.. 100.00
02907.. 100.00
29078.. 100.00
21e21.. 100.00
4618e..^{not_TwoRamseyProp_3_6_Power_4} 100.00
TwoRamseyProp_3_7_Power_5^{TwoRamseyProp_3_7_Power_5} 100.00
not_TwoRamseyProp_4_6_Power_5^{not_TwoRamseyProp_4_6_Power_5} 100.00
TwoRamseyProp_4_5_Power_5^{TwoRamseyProp_4_5_Power_5} 100.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88