Proofgold bounties

Description of bounties

Open bounties

9cd01..^{conj_AIM1_TMSvQYCapZjQuHs2EzyTSLonJeryubDBPuM} 26.00
53cfa..^{conj_AIM2_TMb1vBc7zmm9rZVGHxVmU894hjWr8yqxZqx} 26.00
0a3e4..^{conj_AIM1_TMGAhyHcgLohMiTHT4ePYaqsks5CC5mMMM3} 26.00
a2eb9..^{conj_AIM2_TMW7mEiWHMJXdd3GRZajbfMAmsmjrm7MbYU} 26.00
9e99d..^{conj_AIM2_TMMya3TkNvXbzN8jGcVUF8ZKo6BTFHw22M5} 26.00
38992..^{conj_AIM2_TMLTSqGJE1neBvLCiucjcYyzLP7FHsNBdH3} 26.00
21f12..^{conj_AIM1_TMRVyedMrm1tTfdStzcA1LZfDzd9YYzGmAN} 26.00
81d0a..^{conj_AIM1_TMGcnKbLaJr6T87MULKxPZVo68BsrtXPdt9} 26.00
6427f..^{conj_AIM1_TMVes5S7C72D1ShRG97rEKZqouShNYaxXbY} 26.00
3c713..^{conj_AIM2_TMbbapdPRqqWXnYXxbVs1KNak6LFFbpw6FV} 26.00
4fe84..^{conj_AIM2_TMG1mGBcwk3Fjf2kRwwNRbSRMFCw69mFdkz} 26.00
1310a..^{conj_AIM2_TMH6Upm6XkftV2AVWz3hPzbTYfrBJphQtGX} 26.00
d9363..^{conj_AIM2_TMFTUm2H9arwSFSDMa8jFszDxs4a9gSpQeW} 26.00
d292f..^{conj_AIM1_TMUcetbH3i1JRgBzGZpmbZu3H5mviYpbVdY} 26.00
3673c..^{conj_AIM1_TMW38Y3HR8weUs1YwPTf5SfZ7WzWzsS5jEW} 26.00
4b8f6..^{conj_AIM1_TMQg8FysQbPuHzKFzbLufSALrUygxFSoFL7} 26.00
3177d..^{conj_AIM2_TMaCd4C1fHc4L18ajfoAQ3LWqnhygyD8a7x} 26.00
37285..^{conj_AIM1_TML34dHSdBfCEg8EGkgva9VizYWxieodowA} 26.00
aad76..^{conj_AIM1_TMdkoaQNSz8mapWa6RcGTLxPeq3DrJiBgfK} 26.00
36f71..^{conj_AIM2_TMXhsQbxRpJEqQwzEmVmdcZK4J67pKxGc1P} 26.00

More open bounties

Collected bounties

814b8..^{Conj_PigeonHole_nat_bij__2__2} 25.00
164f1..^{Conj_int_mul_SNo__3__2} 25.00
d6042..^{Conj_real_add_SNo__40__2} 25.00
31641..^{Conj_add_CSNo_assoc__2__4} 25.00
0e33e..^{Conj_real_add_SNo__33__2} 25.00
712f0..^{Conj_mul_SNo_eq__19__1} 25.00
fb18d..^{Conj_SNo_approx_real_rep__1__0} 25.00
786e0..^{Conj_real_add_SNo__37__9} 25.00
65298..^{Conj_SNo_etaE__5__0} 25.00
d2f6b..^{Conj_add_SNo_ordinal_ordinal__4__2} 25.00
68a43..^{Conj_mul_SNo_eq__19__2} 25.00
ec53b..^{Conj_real_add_SNo__36__15} 25.00
3aca5..^{Conj_real_add_SNo__23__14} 25.00
c87d9..^{Conj_real_add_SNo__35__13} 25.00
7e49d..^{Conj_mul_SNo_eq__25__0} 25.00
c4ebc..^{Conj_real_add_SNo__43__10} 25.00
df8dd..^{Conj_add_SNo_ordinal_ordinal__3__3} 25.00
3c9d2..^{Conj_pos_real_recip_ex__1__3} 25.00
f7761..^{Conj_minus_SNo_Lev_lem1__12__3} 25.00
da648..^{Conj_minus_SNoCut_eq_lem__8__3} 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88