Proofgold recent bounties

Recently placed bounties

e009b..^{conj_AIM1_TMMhdr16nLvN3TMP5srBURuJatVJu3eurM9} 26.00
d4c15..^{conj_AIM1_TMFw8qJVKr2e9kkJGB6BXAMRkYRntuk1f1p} 26.00
f5ef7..^{conj_AIM1_TMH4D3ZqXKJwMf92fA891NvZUDHgquwHffE} 26.00
c0b06..^{conj_AIM2_TMSkmrcYDU3cHDFoAS3NHFQqNn73dP1TyJk} 26.00
4b15c.. 26.00
9a8cc..^{conj_AIM1_TMJsusEhwNWsaRE2MTs7Z2UV7iN9MGfqvGQ} 26.00
6d102..^{conj_AIM1_TMJYZNCLsFwizzQyjpH1dNrtdiB8Mpzm21h} 26.00
9224e..^{conj_AIM1_TMcszZ6SkyDUtib4SUzsoTziNBm91qDgmZw} 26.00
ebddd.. 26.00
d1e32..^{conj_AIM2_TMdRJb3k6H9p3bQTtPhRcGL24kHd1K4rGJu} 26.00
a48d1..^{conj_AIM2_TMNv3L6p1s6eknTrvDSb1eciD3nLtMgjvxT} 26.00
47381..^{conj_AIM1_TMJqUaGJyZC2KoUYyihjhGah1sAZPzckBnG} 26.00
256f7..^{conj_AIM2_TMF2eZ8yp2assDuyqeyispdKEmZLhFnju1h} 26.00
53074..^{conj_AIM1_TMMcA4ahPh46m6RHxrtMCFtFmbGx1z4oQbk} 26.00
ccbfa..^{conj_AIM2_TMVLBNTMHcBLpr1GgsZ769Ks5AXa5hW5cuA} 26.00
4fbd1..^{conj_AIM2_TMRVgTB9RuQHXppzfisFksYxQtjW5ka22YY} 26.00
299fb..^{conj_AIM2_TMXpZUhCLtd8qfaJVYbdcLWTjuKas8G9EHK} 26.00
60575..^{conj_AIM2_TMPeEYeSTnNSB84rrM1KuYXCXuVqcjRQiqB} 26.00
be5a8..^{conj_AIM1_TMSzRsqKz7h3eUVajwhw8XsNbCLhk6LDUzB} 26.00
bb3a3..^{conj_AIM2_TMSKEL8njfgkL3UrV2YBqwNxPJZrr6TzRDo} 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