Proofgold bounties

Description of bounties

Open bounties

TMGsi..^{Conj_mul_SNo_assoc_lem2__10__9} 25.00
TMLux..^{Conj_mul_SNo_assoc_lem1__43__3} 25.00
TMarr..^{Conj_mul_SNo_distrR__109__18} 25.00
TMYNk..^{Conj_real_mul_SNo_pos__127__3} 25.00
TMSJz..^{Conj_mul_SNo_Lt__23__10} 25.00
TMYDa..^{Conj_add_SNo_Lt_subprop3d__2__4} 25.00
TMF1G..^{Conj_mul_SNo_assoc_lem2__59__19} 25.00
TMaLc..^{Conj_SNo_ordinal_ind__2__1} 25.00
TMQLY..^{Conj_mul_SNo_Lt__61__14} 25.00
TMTUL..^{Conj_mul_SNo_assoc_lem2__32__4} 25.00
TMNC1..^{Conj_mul_SNo_assoc_lem2__39__13} 25.00
TMVTH..^{Conj_real_mul_SNo_pos__15__5} 25.00
TMS9Z..^{Conj_mul_SNo_distrR__126__9} 25.00
TMWM3..^{Conj_mul_SNo_distrR__33__11} 25.00
TMYdH..^{Conj_mul_SNo_eq_3__12__1} 25.00
TMGiB..^{Conj_mul_SNo_prop_1__26__15} 25.00
TMFy7..^{Conj_add_SNo_Lev_bd__17__7} 25.00
TMKbV..^{Conj_mul_SNo_assoc_lem2__98__11} 25.00
TMc44..^{Conj_minus_SNo_prop1__4__5} 25.00
TMVXX..^{Conj_real_mul_SNo_pos__117__0} 25.00

More open bounties

Collected bounties

7313e.. 26.00
3ec7a.. 26.00
be048.. 26.00
9771b.. 26.00
ab9ab..^{conj_AIM1_TMXjcPKfh1316Vbxq56XUxhNiW9VPypEgNP} 26.00
f41d3..^{conj_AIM2_TMLtMeEqB1nE5HnetPAddTHsxEouaJ3o5j9} 26.00
5b053.. 26.00
40caa.. 26.00
2bac1.. 26.00
09d0d.. 26.00
f1547..^{conj_AIM2_TMFuMuceNAZWLADJrhUyYrgFH7ZpqSWXHuV} 26.00
4b15c.. 26.00
9224e..^{conj_AIM1_TMcszZ6SkyDUtib4SUzsoTziNBm91qDgmZw} 26.00
ebddd.. 26.00
165ce..^{conj_AIM2_TMK9xN1BGVkW1JJfPP167RXZj8YAFuVy6dr} 26.00
8d715..^{conj_AIM2_TMRrLMkbAKm1F97tFxccom9pojVjysDjdsy} 26.00
4bd21.. 26.00
68344.. 26.00
4c0df..^{conj_AIM2_TMbxmw7vzosKaZcECL8dDGPsLvo5JxE1FUJ} 26.00
4cb6e.. 26.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88