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

TwoRamseyProp_3_5_Power_4^{TwoRamseyProp_3_5_Power_4} 500.00
c642e..^{not_TwoRamseyProp_6_7_Power_4} 500.00
ce62b..^{not_TwoRamseyProp_4_4_Power_3} 375.00
TwoRamseyProp_3_4_Power_4^{TwoRamseyProp_3_4_Power_4} 375.00
TwoRamseyProp_3_4_Power_5^{TwoRamseyProp_3_4_Power_5} 375.00
TwoRamseyProp_4_4_18^{TwoRamseyProp_4_4_18} 375.00
not_TwoRamseyProp_4_4_17^{not_TwoRamseyProp_4_4_17} 375.00
ea57c.. 375.00
485cd..^{not_TwoRamseyProp_4_4_Power_4} 375.00
TwoRamseyProp_4_4_Power_6^{TwoRamseyProp_4_4_Power_6} 375.00
TwoRamseyProp_4_4_Power_5^{TwoRamseyProp_4_4_Power_5} 375.00
not_TwoRamseyProp_3_7_22^{not_TwoRamseyProp_3_7_22} 300.00
not_TwoRamseyProp_4_6_35^{not_TwoRamseyProp_4_6_35} 300.00
df410.. 280.00
0e5d4.. 280.00
a13e1.. 280.00
b6c37.. 280.00
1288f.. 280.00
57004.. 280.00
c7cce.. 280.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88