Proofgold bounties

Description of bounties

Open bounties

TMJg9..^{Conj_real_mul_SNo_pos__18__5} 25.00
TMGxd..^{Conj_real_mul_SNo_pos__33__1} 25.00
TMJtg..^{Conj_mul_SNo_distrR__68__13} 25.00
TMK1e..^{Conj_mul_SNo_eq_3__2__1} 25.00
TMK8w..^{Conj_mul_SNo_Lt__35__18} 25.00
TMUfc..^{Conj_mul_SNo_eq_3__10__15} 25.00
TMcyf..^{Conj_PNo_rel_imv_ex__71__8} 25.00
TMaHV..^{Conj_mul_SNo_prop_1__51__12} 25.00
TMTdU..^{Conj_real_complete1__4__3} 25.00
TMGzk..^{Conj_mul_SNo_prop_1__49__9} 25.00
TMFNE..^{Conj_mul_SNo_assoc_lem1__27__27} 25.00
TMS5P..^{Conj_real_mul_SNo_pos__136__12} 25.00
TMGF5..^{Conj_add_SNo_minus_SNo_linv__4__0} 25.00
TMdYq..^{Conj_mul_SNo_assoc_lem2__62__21} 25.00
TMFHG..^{Conj_mul_SNo_prop_1__58__11} 25.00
TMWep..^{Conj_real_mul_SNo_pos__45__14} 25.00
TMMBH..^{Conj_real_E__4__6} 25.00
TMJjZ..^{Conj_PNo_lenbdd_strict_imv_extend0__5__0} 25.00
TMWAu..^{Conj_mul_SNo_distrR__52__13} 25.00
TMZkg..^{Conj_SNo_approx_real__20__16} 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