Proofgold bounties

Description of bounties

Open bounties

34c28..^{conj_AIM1_TMNStwQeuoHmiD5rWreLyu1pMk1rwMqyntu} 26.00
9694e..^{conj_AIM2_TMHzVCvfwteUsHGuHm3iCwha4U7aZdkYB79} 26.00
5716b..^{conj_AIM2_TMSAx38N38R87wTX9FK3K6amYANBZn24Hp1} 26.00
bf475..^{conj_AIM1_TMVE73QuDHW8pfMXbVYCyz9AeK3GxbDHtbY} 26.00
df7cd..^{conj_AIM1_TMFChwQyQwybUBpMphm1JWzf2Q4YbBJQLbs} 26.00
4c489..^{conj_AIM1_TMJSVoUHdoV67PzhkLSyueMQztvt1L86tjQ} 26.00
cfdef..^{conj_AIM2_TMLtbc27K9JjbufPGscGYurHP8QcrmTZVyQ} 26.00
13e0e..^{conj_AIM2_TMGAyBspoKiitj4sPBCnUiWHW2YK1Kzjc3e} 26.00
ea5b1..^{conj_AIM1_TMN7NDdYriurUhqzoAS7VEGo4Zvpzoik5ss} 26.00
c321f..^{conj_AIM1_TMHKjF4Tw6oFgQmhxkUr9iixxfiRaGjSMBJ} 26.00
a47b5..^{conj_AIM2_TMamMiSMtbxb2mSPwcF86JUy8dLanQL9dNi} 26.00
b98f2..^{conj_AIM2_TMUQajZv4fzCDaZYVwzR7rvEBWnQ4A3JqYc} 26.00
f70fa..^{conj_AIM1_TMYhvBCt1hridYFh97eUhYboGeRWuMX8We1} 26.00
5689c..^{conj_AIM1_TMcZiggN6PGTdD68KBZUVJ19PEuLuBm75vX} 26.00
cab65..^{conj_AIM1_TMP9YrLtnudNwaMZwEAzxhR71k4zqGgNJ8y} 26.00
a2c05..^{conj_AIM1_TMNszWRSi4ok2KrkcxuCLYnBcx9w1i6okiy} 26.00
0b4ce..^{conj_AIM1_TMSha1MFb4Ai4q9b6rQhUeMKSmEsHjrRh2h} 26.00
80096..^{conj_AIM1_TMbxm5q4pxfYj9yEFbvHGbbCNzsZGs4JfVG} 26.00
0da94..^{conj_AIM1_TMXSbVDu6ttKSWKZinfe5yd31gmDCptQUJH} 26.00
85dea..^{conj_AIM1_TMRUSZngPLAvNTErSccLFAUGVV3AaVnTRYF} 26.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