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

1e2ae..^{MetaCat_struct_u_initial} 25.00
bdf9a..^{MetaCat_struct_u_inj_initial} 25.00
883bd..^{MetaCat_struct_u_inj_terminal} 25.00
da2c1..^{MetaCat_struct_p_nonempty_initial} 25.00
14bd1..^{MetaCat_struct_p_terminal} 25.00
75fea..^{MetaCat_struct_u_terminal} 25.00
058da..^{MetaCat_struct_r_partialord_terminal} 25.00
1615b..^{MetaCat_struct_p_initial} 25.00
e9785..^{MetaCat_struct_b_initial} 25.00
5dc25..^{MetaCat_struct_r_equivreln_initial} 25.00
49763..^{MetaCat_struct_r_wellord_terminal} 25.00
18ea9..^{MetaCat_struct_r_ord_terminal} 25.00
c4959..^l32_interva1 25.00
cc92e..^t13_arytm_3 25.00
1139b..^t13_pre_ff 25.00
e92bb..^t10_sin_cos8 25.00
08f54..^t3_xregular 25.00
cd3d8..^t5_radix_1 25.00
2faed..^t5_xregular 25.00
ac28c..^t4_xregular 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88