Proofgold bounties

Description of bounties

Open bounties

f66e6..^{conj_AIM2_TMdzhakC3WYn1dDtf1DGz2fFd8dka7m191t} 26.00
14a79..^{conj_AIM2_TMWPNLr54psL3U2aSZGqt9rE9xRPnxPKgkM} 26.00
255a9..^{conj_AIM1_TMKDU4tcbdfVeTqtycJ9nZdg7p1GdfhkyD4} 26.00
23134..^{conj_AIM1_TMWSAGToA4GPS5vMrvGFEDz24C2tXpmcXDX} 26.00
4ba59..^{conj_AIM2_TMcsss9puPppjYcefvqV2S2gqqGuRQYJ1fN} 26.00
cb1ea..^{conj_AIM1_TMNYUuSQsAZPLUTYGY7c4ah5evx5s8CiNiA} 26.00
6bf2f..^{conj_AIM1_TMSqn38a7wuGK7RbP7uZmg93BcqHDb7KD61} 26.00
6cb35..^{conj_AIM1_TMX1RbwTDfpdjdcWnnjCVRZwdj6zcsZR2ce} 26.00
3a44b..^{conj_AIM2_TMMJigsHu2CgsmqW13YjkU2ockWLTxxspf3} 26.00
8fb8e..^{conj_AIM2_TMVMSfQ7r3zqQvs8VHec1DwNJ9LPK4rQ8xy} 26.00
4f5d3..^{conj_AIM1_TMPWUxaHSQZCUPdRKkXJkDYYWMULABgjh3G} 26.00
c60ad..^{conj_AIM1_TML4jwWH6q3jWFH7KnATLQtKa4n1KArdyeR} 26.00
d2919..^{conj_AIM1_TMP4F6HtoH4AFNJgGbRDG4ptgPqDD1w9qgG} 26.00
9ad53..^{conj_AIM1_TMYwUVRAuHYXewPaesp7TDyd1mWGFNKzQwx} 26.00
d92da..^{conj_AIM1_TMFhsiDCXwvBX6fBaLAE2Y6YUyBJw28twkV} 26.00
7127d..^{conj_AIM1_TMWWvPvQDF52UeCFstH4fa6o2RcfTBxqiBQ} 26.00
a9234..^{conj_AIM2_TMPuMkKxDTawsLJeCLtheKtkT2S8aiDm4z6} 26.00
7010a..^{conj_AIM2_TMXWQpQkK1me6G8yyUAvPxoF9Hf5J7CYkgc} 26.00
4cf80..^{conj_AIM1_TMPgT1fqQBzwpjXcubTDQB3BsFT9KUQS7uj} 26.00
71221..^{conj_AIM2_TMdid9GEMyrfcopCWne1D8fzg5r2fUdarEX} 26.00

More open bounties

Collected bounties

572d4..^{Conj_ordinal_ordsucc_In_eq__1__1} 25.00
7cb2e..^{Conj_mul_SNo_eq__25__3} 25.00
07010..^{Conj_PNoLt_trichotomy_or__7__2} 25.00
a3487..^{Conj_mul_SNo_eq__18__4} 25.00
ca45c..^{Conj_eps_ordsucc_half_add__11__1} 25.00
d22e6..^{Conj_real_add_SNo__6__10} 25.00
b53aa..^{Conj_add_nat_add_SNo__1__1} 25.00
f4ed2..^{Conj_pos_real_recip_ex__2__4} 25.00
a44cb..^{Conj_add_CSNo_com__1__2} 25.00
d0ad0..^{Conj_add_SNo_ordinal_ordinal__4__1} 25.00
85918..^{Conj_SNo_rec2_eq__1__1} 25.00
e3ee4..^{Conj_SNoS_ordsucc_omega_bdd_drat_intvl__5__2} 25.00
d2732..^{Conj_ZF_UPair_closed__1__1} 25.00
687fa..^{Conj_minus_SNo_invol__8__0} 25.00
9e6ca..^{Conj_SNoS_omega_diadic_rational_p_lem__10__12} 25.00
8c732..^{Conj_add_SNo_ordinal_SL__11__9} 25.00
3cff7..^{Conj_mul_SNo_SNoR_interpolate__4__3} 25.00
d43ff..^{Conj_SNo_pos_eps_Le__1__3} 25.00
79465..^{Conj_SNo_etaE__5__1} 25.00
dcf98..^{Conj_SNo__eps___3__3} 25.00

More closed bounties

Open sum
308,364.07

Collected sum
209,545.88