Proofgold bounties

Description of bounties

Open bounties

TMJGo..^{Conj_mul_SNo_assoc_lem1__60__6} 25.00
TMdr8..^{Conj_mul_SNo_distrR__115__15} 25.00
TMcBE..^{Conj_SNo_approx_real__14__10} 25.00
TMHfk..^{Conj_real_add_SNo__23__0} 25.00
TMUWS..^{Conj_real_mul_SNo_pos__5__21} 25.00
TMTCB..^{Conj_add_SNo_minus_SNo_linv__8__6} 25.00
TMSVU..^{Conj_SNo_etaE__7__0} 25.00
TMK6m..^{Conj_mul_SNo_assoc_lem2__32__21} 25.00
TMWSV..^{Conj_minus_SNo_diadic_rational_p__3__0} 25.00
TMZHc..^{Conj_pos_small_real_recip_ex__24__3} 25.00
TMdPt..^{Conj_mul_SNo_assoc_lem2__19__11} 25.00
TMaW8..^{Conj_SNo_foil_mm__1__1} 25.00
TMTkW..^{Conj_mul_SNo_distrR__75__5} 25.00
TMTSV..^{Conj_add_SNo_Lev_bd__34__6} 25.00
TMWEe..^{Conj_mul_SNo_assoc_lem2__64__4} 25.00
TMS11..^{Conj_mul_SNo_distrR__40__24} 25.00
TMMYe..^{Conj_mul_SNo_eq__16__1} 25.00
TMPWa..^{Conj_pos_small_real_recip_ex__24__8} 25.00
TMYhm..^{Conj_real_add_SNo__32__17} 25.00
TMFqs..^{Conj_mul_SNo_distrR__130__13} 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