Proofgold recent bounties

Recently placed bounties

8826b.. 25.00
TMQMg..^{conj_Random1_TMQMg2kXf9ajAA64RMWejZiByGaq16JZjec} 25.00
TMR6z..^{conj_DiophantineMod_TMR6zU1YUsfh3LMMNUNEWjC6A2mFfsFPcET} 25.00
TMLfa..^{conj_DiophantineMod_TMLfazcsuPrfgLUG22DiqoxndUxq7tjWX2x} 25.00
TMXjP..^{conj_Diophantine_TMXjPX2BSzGvzHxgxoWMxcY2KurPK3KERGP} 25.00
7e54b.. 25.00
TMMGE..^{conj_HOSetConstr_TMMGEYKZ38giefsGf9w4LauuoxzUpjCnPhy} 25.00
TML7j..^{conj_AbstrHF_TML7jVPxrKWQFw2PqXXqwiqpxSXjVt8wV7o} 25.00
TMQXg..^{conj_CombUnif_TMQXgTAJA5ifdmsRMdNvZRZVzFeKHR976TP} 25.00
TMEsA..^{conj_CombUnif_TMEsAoLvrNY93Z21UFPuhUp31E5ZeYzNLet} 25.00
TMFPA..^{conj_CombUnif_TMFPACQnhAKJsqAgsDiPQEvoyXieu7Ppa5R} 25.00
TMP8k..^{conj_Diophantine_TMP8kptYBpMWzgykC6PiRt266ugBmFB5J4o} 25.00
TMb1q..^{conj_DiophantineMod_TMb1qJySr9g3JqxVatiimWdh4S4nAUxNmTu} 25.00
TMawM..^{conj_CombUnif_TMawMjto8f1tbueQUnzkhBbapXNTurLQCfz} 25.00
TMPEC..^{conj_Random2_TMPECRKSuiQJGFYQBiYhwR3RemMX5fhNwtQ} 25.00
TMJVM..^{conj_AbstrHF_TMJVMZ2REiyBFFoxCuiztqG4bnV6dtc5wNm} 25.00
TMSDw..^{conj_DiophantineMod_TMSDwqx6dZX8v9asxDbZY9WQLYE6MM7aDfc} 25.00
TMHfu..^{conj_Diophantine_TMHfujbMokPxtqyqgpeHS2sU77yAxNftJUM} 25.00
260da.. 25.00
f12e2.. 25.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