Proofgold bounties

Description of bounties

Open bounties

TMTP3..^{Conj_real_complete1__3__3} 25.00
TMQLi..^{Conj_real_mul_SNo_pos__105__6} 25.00
TMR3n..^{Conj_mul_SNo_distrR__39__5} 25.00
TMYjp..^{Conj_mul_SNo_assoc_lem2__36__10} 25.00
TMaJh..^{Conj_SNoLtE__1__9} 25.00
TMMx8..^{Conj_real_mul_SNo_pos__107__16} 25.00
TMRCi..^{Conj_eps_SNoCut__5__2} 25.00
TMWXK..^{Conj_SNoS_omega_diadic_rational_p_lem__11__3} 25.00
TMGmm..^{Conj_minus_SNo_prop1__11__0} 25.00
TMKxc..^{Conj_mul_SNo_Lt__37__17} 25.00
TMFV4..^{Conj_mul_SNo_assoc_lem1__48__1} 25.00
TMaJT..^{Conj_PNo_rel_imv_ex__39__1} 25.00
TMGs5..^{Conj_mul_SNo_assoc_lem2__37__14} 25.00
TMagM..^{Conj_add_SNo_ordinal_SL__1__4} 25.00
TMUEw..^{Conj_mul_SNo_prop_1__98__11} 25.00
TMW4e..^{Conj_mul_SNo_assoc_lem2__42__18} 25.00
TMGGJ..^{Conj_mul_SNo_distrR__15__1} 25.00
TMUvi..^{Conj_mul_SNo_assoc_lem2__95__2} 25.00
TMRS2..^{Conj_SNo_approx_real_rep__11__3} 25.00
TMXh7..^{Conj_SNo_rec2_eq__4__1} 25.00

More open bounties

Collected bounties

a6740..^{conj_AIM2_TMQM1pJKTKVKbVLv2CyYbU8GDHgLN2AbqBH} 26.00
2128f..^{conj_AIM2_TMF4KfN16J7B5MBkPKXYuRSpt3ZgKpJtkmS} 26.00
2f2bf..^{conj_AIM1_TMRU7McD3ZGUS4sEnKxSh3mgvu3Mu9Fj6G5} 26.00
0e503..^{conj_AIM2_TMFu6DQ9ij4NxoVzP9SLezq3T9sTB5pG5UY} 26.00
c366e..^{conj_AIM2_TMRDZChdSRcAb6Wotw6kh9sT4UNds8ik68k} 26.00
0c848..^{conj_AIM2_TMQgDZiM8ULkqd8Bwv3JXdgFZ8k8uWV18gE} 26.00
be6d9..^{conj_AIM2_TMdZA4hbDE2pv1iqqN2nzR5RsDHUyFhvVye} 26.00
0dee4..^{conj_AIM1_TMdKiLfnqC9cdriERnciJYgpPESEKbax5fY} 26.00
ee3db.. 26.00
37460.. 26.00
227b8..^{conj_AIM2_TMTNPYvq8zxtdHXDW5kyezZ5CViHG86N1Gn} 26.00
2214e.. 26.00
b87d3..^{conj_AIM2_TMKPEK8sagDBfDnGUZUFMASicrZ2SSxKwgU} 26.00
775e8.. 26.00
25d82.. 26.00
a1b14.. 26.00
165d8.. 26.00
14340..^{conj_AIM1_TMNS2Jj1TJWVh6Rp3EJq9a7jgmTb5YRN1TS} 26.00
7d4e0..^{conj_AIM2_TMY6yHLiaSyaEX57aZXjWk3UtwzRp5xvRVq} 26.00
a731d..^{conj_AIM1_TMUvBmKoZMvaitYD83FpxL4Yx9tTmrFCn4c} 26.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88