Proofgold recent bounties

Recently placed bounties

5a8fc..^{conj_AIM2_TMGKioAh7gpHnEhQvNzFnyGjsP16BZ1zdKH} 26.00
3ec7a.. 26.00
4ba24..^{conj_AIM1_TMHUaWW5dNVBDEJMYj9jnvixUtDxA2tbTw7} 26.00
e20d4..^{conj_AIM2_TMGRHSUEc8hegdWsAeoBg8PXCwCSYuPeQhf} 26.00
52d64..^{conj_AIM2_TMP4XjPAcBpcZtzcMaJ1qeo3goiQddrtVB5} 26.00
070d1..^{conj_AIM2_TMct87Gg4BofGu5GAhs7Rg3E8mTWD2a4ayf} 26.00
be048.. 26.00
4d25a..^{conj_AIM1_TMGb35AEefFRNRu5dSLu8qRm2QYXMX7EzDm} 26.00
02c4c..^{conj_AIM2_TMKzdKoPTc8gbur7kBGTUTQwceYTQCiv48V} 26.00
3a5ed..^{conj_AIM2_TMLa2m66WfCx8oCr4MXDs8e5iDjSuM83WHh} 26.00
fccbf..^{conj_AIM2_TMJsaGWHf1WxXPGcd1eKegWmhiCDWEiw2ZD} 26.00
a46d6..^{conj_AIM2_TMMTsdS7cWCkLNokFkXJEZdFFWDjJZjjYMd} 26.00
292da..^{conj_AIM2_TMWVWX3TL2d3Ufiu8wQHjvXCKTcKQ77c6cK} 26.00
d73a2..^{conj_AIM1_TMcQFcV7wngF7X7ab2Sycu74siaZaTHBcAJ} 26.00
4c993..^{conj_AIM2_TMF2uPvyJ6zhM73yzS6VkvrDvmN73UMV1nY} 26.00
1fba9..^{conj_AIM2_TMTnbtqWL4qZuokMEf9NxXN87mPitgTNMYn} 26.00
b9ff5..^{conj_AIM1_TMZui8k7ps6h4AFGwonFze7JZDHdVoCFbkx} 26.00
edb78..^{conj_AIM2_TMTd7oDdVKoWJkUTUfF9eGgvyVgPGqC6rUx} 26.00
acb74..^{conj_AIM2_TMR72sfuesaD2QgBM2VrQS99mx8HNXbpj6T} 26.00
87440..^{conj_AIM1_TMZWeQM5T7F6wcV7oUb5Nm7WN8NYNdBjU9j} 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