Proofgold recent bounties

Recently placed bounties

b8ddf..^{conj_AIM1_TMUKYQ77P57uJXAkFmWYKV6XvFZSdktosTS} 26.00
48d46..^{conj_AIM1_TMdDW32SgSq4zQf4LbXNfAwP44CffADqg3X} 26.00
c2bab..^{conj_AIM2_TMdSRe1DJ1L3LA8dc4vDvGoVxP5zFBiy1cU} 26.00
c6df3..^{conj_AIM1_TMK4r6hsrbq2MhPH12nbS9FeCPXgAzpDNii} 26.00
29298..^{conj_AIM1_TMPvZNTee6jHBkm5QMdM62scrUNx3xQ9z5y} 26.00
91096..^{conj_AIM2_TMTxTrswNTHbGXfonKHi99ue7MbyDF9d38H} 26.00
acbec..^{conj_AIM1_TMbqmFcR6mjbhEj9FSk5rnRWpDWSyWDYypV} 26.00
24e23.. 26.00
32acd..^{conj_AIM2_TMFmfdgQjtn2FmNy3U8nAeDHDxvG6ozxt6r} 26.00
35404..^{conj_AIM2_TMZuMe6VVs7bEyGyJXGFjH3W6RqZ7qcsF1u} 26.00
87059..^{conj_AIM2_TMS1bhnGJ1DRicgd1DEhMJp719tuNqvphhd} 26.00
270d2..^{conj_AIM1_TMYsWo1ahYxiYDkioJjdB3gEhK4yA1gE5hH} 26.00
25057..^{conj_AIM2_TMaMuy5TThhK1cyJKcdtaUQ6qijxiXqJwn9} 26.00
a3072..^{conj_AIM1_TMbqJgWwco3BL6mwCsCq3MPiSJFET9Hacoa} 26.00
dd660..^{conj_AIM2_TMbhQTE6X3CzJddxLzAWktrfaMWkj2xY9YP} 26.00
a2b65..^{conj_AIM2_TMUXP2e5sQjDjFVUhbNrhMfKaZuaCZJaTyD} 26.00
08907..^{conj_AIM1_TMXZ2KdpJ6kzM6jXiXg7i99pFhq7CGhK6v5} 26.00
d6625..^{conj_AIM2_TMXQRuKv1pbu9J9F9vWM24QP6kkFPvQ5Sfi} 26.00
9330d..^{conj_AIM2_TMMruwiaCwrZq7P26FzYHyfcLbv3h3Yt8xp} 26.00
f72f4..^{conj_AIM1_TMTVQEZQUWCfWBBfhjammdxvG3gcd1g6hLU} 26.00

More recent placed

Recently collected bounties

d0d3d..^{Conj_minus_SNo_prop1__5__9} 25.00
aa8d2..^{Conj_real_add_SNo__45__16} 25.00
7312b..^{Conj_real_add_SNo__44__17} 25.00
9e3c5..^{Conj_real_mul_SNo_pos__132__4} 25.00
61455..^{Conj_restr_SNo__1__2} 25.00
35556..^{Conj_real_add_SNo__18__6} 25.00
5101e..^{Conj_mul_SNo_SNoL_interpolate__5__9} 25.00
da648..^{Conj_minus_SNoCut_eq_lem__8__3} 25.00
68a43..^{Conj_mul_SNo_eq__19__2} 25.00
d2f6b..^{Conj_add_SNo_ordinal_ordinal__4__2} 25.00
31641..^{Conj_add_CSNo_assoc__2__4} 25.00
ec8fd..^{Conj_minus_SNo_prop1__5__7} 25.00
75d78..^{Conj_minus_add_SNo_distr__3__2} 25.00
694cf..^{Conj_SNo_approx_real__10__10} 25.00
70a69..^{Conj_add_SNo_com__2__3} 25.00
06412..^{Conj_real_add_SNo__6__6} 25.00
1dbb1..^{Conj_real_add_SNo__10__7} 25.00
9d1d7..^{Conj_minus_SNoCut_eq_lem__11__3} 25.00
5ece1..^{Conj_add_SNo_prop1__4__2} 25.00
e4ae8..^{Conj_real_mul_SNo_pos__135__10} 25.00

Proofgold recent bounties

More recent placed

More recent collected