Proofgold bounties

Description of bounties

Open bounties

TML5g..^{Conj_mul_SNo_prop_1__3__6} 25.00
TMRrz..^{Conj_mul_SNo_distrR__104__2} 25.00
TMX6V..^{Conj_mul_SNo_prop_1__85__16} 25.00
TMFqF..^{Conj_mul_SNo_assoc_lem1__81__0} 25.00
TMXvH..^{Conj_mul_SNo_assoc_lem1__83__13} 25.00
TMLsA..^{Conj_real_complete1__9__1} 25.00
TMNwQ..^{Conj_SNo_etaE__3__2} 25.00
TMHm7..^{Conj_add_SNo_prop1__10__9} 25.00
TMQKT..^{Conj_add_SNo_Lt_subprop3c__3__6} 25.00
TMF3Y..^{Conj_mul_SNo_assoc_lem1__70__6} 25.00
TMdak..^{Conj_mul_SNo_prop_1__73__4} 25.00
TMYRP..^{Conj_mul_SNo_SNoL_interpolate__9__4} 25.00
TMPv6..^{Conj_real_add_SNo__30__3} 25.00
TMTeh..^{Conj_mul_SNo_assoc_lem2__6__29} 25.00
TMPST..^{Conj_real_mul_SNo_pos__100__9} 25.00
TMKr3..^{Conj_mul_SNo_Lt__52__23} 25.00
TMe18..^{Conj_real_E__3__6} 25.00
TMLTk..^{Conj_mul_SNo_assoc_lem2__82__13} 25.00
TMTEh..^{Conj_mul_SNo_distrR__13__1} 25.00
TMPFh..^{Conj_pos_small_real_recip_ex__6__9} 25.00

More open bounties

Collected bounties
ee513.. 280.00 1eae1.. 280.00 c1dc4.. 280.00 b202e.. 280.00 b202e.. 280.00 57953.. 280.00 c2569.. 280.00 6eafe.. 280.00 3f4ba.. 280.00 cc5f9.. 280.00 85942.. 280.00 60395.. 280.00 2ea5a.. 280.00 d9ebb.. 280.00 bf66e.. 280.00 d6ffc.. 280.00 1a212.. 280.00 7407a.. 280.00 8563b.. 280.00 1de24.. 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