Proofgold recent bounties

Recently placed bounties
4c9ff.. 280.00 670de.. 280.00 99d55.. 280.00 8ee8b.. 280.00 e175e.. 280.00 54bb5.. 280.00 ed1ff.. 280.00 d8d89.. 280.00 16a22.. 280.00 0497a.. 280.00 a7607.. 280.00 6f396.. 280.00 41cc3.. 280.00 f9fd3.. 280.00 db811.. 280.00 2317a.. 280.00 983dc.. 280.00 e7855.. 280.00 9d5c8.. 280.00 246a2.. 280.00 More recent placed

Recently collected bounties

4c9ff.. 280.00
741e5.. 280.00
41cc3.. 280.00
1e19a.. 280.00
7853d.. 280.00
274ae.. 280.00
4d1b3.. 280.00
f2e22.. 280.00
3489a..^{Conj_minus_SNo_Lev_lem1__12__1} 25.00
b9ae9..^{Conj_add_SNo_ordinal_SR__4__0} 25.00
4b294..^{Conj_SNoCut_Le__3__5} 25.00
296c6..^{Conj_SNo_pos_eps_Le__2__3} 25.00
ad676..^{Conj_SNo_etaE__12__1} 25.00
d0ad0..^{Conj_add_SNo_ordinal_ordinal__4__1} 25.00
c3218..^{Conj_add_SNo_SNoS_omega__1__2} 25.00
85401..^{Conj_minus_SNo_Lev_lem1__15__4} 25.00
0b6fe..^{Conj_int_add_SNo__1__1} 25.00
f7761..^{Conj_minus_SNo_Lev_lem1__12__3} 25.00
3c9d2..^{Conj_pos_real_recip_ex__1__3} 25.00
65298..^{Conj_SNo_etaE__5__0} 25.00

Proofgold recent bounties

More recent placed

More recent collected