Proofgold recent bounties

Recently placed bounties

TMUvi..^{Conj_mul_SNo_assoc_lem2__95__2} 25.00
TMRS2..^{Conj_SNo_approx_real_rep__11__3} 25.00
TMXh7..^{Conj_SNo_rec2_eq__4__1} 25.00
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
296c6..^{Conj_SNo_pos_eps_Le__2__3} 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
e1d83..^{Conj_PNo_rel_imv_ex__7__4} 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

More recent placed

Recently collected bounties

84f84..^{not_TwoRamseyProp_6_7_Power_3} 500.00
e1864..^{not_TwoRamseyProp_4_7_Power_3} 500.00
fe972..^{not_TwoRamseyProp_4_5_Power_3} 500.00
33278..^{not_TwoRamseyProp_4_6_Power_3} 500.00
7f909..^{not_TwoRamseyProp_3_10_Power_3} 500.00
69d43..^{not_TwoRamseyProp_3_9_Power_3} 500.00
df26e..^{not_TwoRamseyProp_3_8_Power_3} 500.00
6bca8..^{not_TwoRamseyProp_3_5_Power_3} 500.00
ff590..^{not_TwoRamseyProp_3_6_Power_3} 500.00
54668..^{not_TwoRamseyProp_3_7_Power_3} 500.00
307f0..^t6_xregular 25.00
ac28c..^t4_xregular 25.00
2faed..^t5_xregular 25.00
08f54..^t3_xregular 25.00
1139b..^t13_pre_ff 25.00
1d2f6.. 25.00
a3282.. 25.00
c2d4a.. 25.00
adc8b.. 25.00
383f6.. 25.00

Proofgold recent bounties

More recent placed

More recent collected