Proofgold bounties

Description of bounties

Open bounties

TMFfd..^{Conj_SNoCutP_SNoCut__1__4} 25.00
TMMyq..^{Conj_PNo_strict_lowerbd_imp_rel_strict_lowerbd__4__8} 25.00
TMXTi..^{Conj_mul_SNo_prop_1__71__10} 25.00
TMRKA..^{Conj_mul_SNo_assoc_lem2__12__31} 25.00
TMFWV..^{Conj_SNo_pair_prop_1_Subq__1__0} 25.00
TMRAz..^{Conj_mul_SNo_eq_3__8__4} 25.00
TMR9d..^{Conj_mul_SNo_assoc_lem2__50__1} 25.00
TMPR3..^{Conj_real_mul_SNo_pos__108__11} 25.00
TMc9x..^{Conj_mul_SNo_eq__21__3} 25.00
TMW6M..^{Conj_mul_SNo_distrR__63__2} 25.00
TMbMy..^{Conj_mul_SNo_minus_distrL__19__5} 25.00
TMWGf..^{Conj_mul_SNo_distrR__44__4} 25.00
TMVyz..^{Conj_mul_SNo_prop_1__13__5} 25.00
TMVrz..^{Conj_mul_SNo_prop_1__2__0} 25.00
TMT8c..^{Conj_mul_SNo_distrR__98__10} 25.00
TMJEe..^{Conj_minus_add_SNo_distr__1__0} 25.00
TMXgU..^{Conj_add_SNo_Lev_bd__21__2} 25.00
TMP2S..^{Conj_PNoLt_tra__1__0} 25.00
TMd77..^{Conj_mul_SNo_distrR__53__19} 25.00
TMGwy..^{Conj_SNo_approx_real_rep__11__2} 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