Proofgold bounties

Description of bounties

Open bounties

TMTjD..^{conj_DiophantineMod_TMTjDbKaGGt2Vs8PrJ6DxxSixzhoBU9iFj2} 25.00
TMZqB..^{conj_CombUnif_TMZqBVgNmVSsAWoi7uUghicxwL4VyEU2x3C} 25.00
TMKS6..^{conj_AbstrHF_TMKS6vwXMmca9E18S85xaNCZCfcZi7BTwsG} 25.00
TMVEz..^{conj_Diophantine_TMVEzqrwmKVgwpB8r597Qxo9TNCRKoyJZfv} 25.00
TMN4v..^{conj_HOSetConstr_TMN4vMhYdGU8fMm1MLvbG5AGWP4HBQw789F} 25.00
TMGGh..^{conj_Diophantine_TMGGh7Qsx8zanuRv9ZLeWSEU8LKRLgFhQHV} 25.00
TMXy5..^{conj_Random3_TMXy5q4i2By4zoZuWZRKtzAQpXNaqfMcN6B} 25.00
TMHuB..^{conj_DiophantineMod_TMHuBUGgHCzdfuB2Q4p6W2RjmVAEMQN2Fv1} 25.00
TMEyb..^{conj_AbstrHF_TMEybGh3AXCS89Exii5sCganGHNCVeze9oz} 25.00
TMLxH..^{conj_AbstrHF_TMLxHMznEqc1NP5L7pSUjmQHEfv3BTsUcnE} 25.00
TMQZL..^{conj_DiophantineMod_TMQZLm9HUQJgLBBz6GstaJz8hzwx14hK76Z} 25.00
TMWoj..^{conj_DiophantineMod_TMWojXKqzdd5KjqcJjXoYctLwvMSXxdjiqp} 25.00
TMXyA..^{conj_QBF_TMXyAQ6FKWZQQPGEdJN8FueHPNrjyGxbDr1} 25.00
TMGmw..^{conj_DiophantineMod_TMGmwjAkfnizMQa1dVuC6Z7aX54ey8pkGnm} 25.00
TMHwT..^{conj_AbstrHF_TMHwTGCXes7r15G4NUhy9Ym59xMjZXFEvsf} 25.00
TMEzk..^{conj_CombUnif_TMEzkUfRLEmNsosDKB6sSJojTm1XoEK97w5} 25.00
TMSZN.. 25.00
TMdn2..^{conj_AbstrHF_TMdn2U1o7QXrLJFg6A89b5mr4AsV62MmVR7} 25.00
TMXQx..^{conj_Diophantine_TMXQxhnkdhXoDZPsEjiWSdCpSo9LkbA6Rt9} 25.00
TMNVS..^{conj_Diophantine_TMNVSv5Xkh9sEtDfnWfF3fwZ8Vc9kHB5pNz} 25.00

More open bounties

Collected bounties

3816f..^{Conj_mul_SNo_eq__22__3} 25.00
5101e..^{Conj_mul_SNo_SNoL_interpolate__5__9} 25.00
35556..^{Conj_real_add_SNo__18__6} 25.00
61455..^{Conj_restr_SNo__1__2} 25.00
98ac0..^{Conj_KnasterTarski_set__3__0} 25.00
59aa9..^{Conj_real_add_SNo__40__19} 25.00
4d514..^{Conj_add_SNo_ordinal_SL__14__0} 25.00
bce5d..^{Conj_real_add_SNo__41__9} 25.00
9e3c5..^{Conj_real_mul_SNo_pos__132__4} 25.00
7312b..^{Conj_real_add_SNo__44__17} 25.00
aa8d2..^{Conj_real_add_SNo__45__16} 25.00
0b6fe..^{Conj_int_add_SNo__1__1} 25.00
d0d3d..^{Conj_minus_SNo_prop1__5__9} 25.00
e4f91..^{Conj_mul_SNo_eq__20__3} 25.00
63f7a..^{Conj_ordinal_SNoLev_max_2__5__0} 25.00
7bd1d..^{Conj_double_eps_1__1__1} 25.00
33d61..^{Conj_PNo_bd_In__1__3} 25.00
59fb3..^{Conj_mul_SNo_oneR__3__0} 25.00
85401..^{Conj_minus_SNo_Lev_lem1__15__4} 25.00
c3218..^{Conj_add_SNo_SNoS_omega__1__2} 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88