Proofgold bounties

Description of bounties

Open bounties

TMMMv..^{Conj_mul_SNo_assoc_lem2__53__18} 25.00
TMQsu..^{Conj_mul_SNo_assoc_lem2__60__20} 25.00
TMW5T..^{Conj_mul_SNo_assoc_lem2__83__29} 25.00
TMYVj..^{Conj_mul_SNo_eq_3__10__14} 25.00
TMX5T..^{Conj_pos_small_real_recip_ex__24__9} 25.00
TMF9B..^{Conj_mul_SNo_assoc_lem1__83__9} 25.00
TMNSN..^{Conj_minus_SNoCut_eq_lem__6__9} 25.00
TMTvN..^{Conj_real_mul_SNo_pos__17__10} 25.00
TMThs..^{Conj_mul_SNo_Lt__57__11} 25.00
TMN1T..^{Conj_mul_SNo_assoc_lem2__24__1} 25.00
TMRYk..^{Conj_mul_SNo_distrR__35__17} 25.00
TMSD5..^{Conj_PNo_rel_split_imv_imp_strict_imv__11__7} 25.00
TML5b..^{Conj_mul_SNo_Lt__32__13} 25.00
TMKdP..^{Conj_mul_SNo_assoc_lem2__45__4} 25.00
TMY97..^{Conj_mul_SNo_assoc_lem1__55__8} 25.00
TMWXF..^{Conj_mul_SNo_assoc_lem2__50__2} 25.00
TMbuq..^{Conj_mul_SNo_distrR__34__15} 25.00
TMd9L..^{Conj_mul_SNo_assoc_lem1__41__17} 25.00
TMc6h..^{Conj_mul_SNo_prop_1__81__3} 25.00
TMWH7..^{Conj_mul_SNo_assoc__7__6} 25.00

More open bounties

Collected bounties
b1974.. 280.00 5581c.. 280.00 392b8.. 280.00 c08e5.. 280.00 0bb13.. 280.00 f6311.. 280.00 6ae76.. 280.00 f3acb.. 280.00 9e9e8.. 280.00 c7a39.. 280.00 06930.. 280.00 17d02.. 280.00 94244.. 280.00 57aa9.. 280.00 4b79b.. 280.00 cc4cd.. 280.00 553e0.. 280.00 211c6.. 280.00 6e6dc.. 280.00 025bf.. 280.00 More closed bounties

Open sum
308,364.07

Collected sum
209,545.88

Proofgold bounties

Description of bounties

More open bounties

More closed bounties