Proofgold recent bounties

Recently placed bounties

TMH9f..^{conj_HOSetConstr_TMH9f68A2C5vt4LGvkxBprUQGsBJ4nmuCRa} 25.00
c6dc4.. 25.00
TMQH5..^{conj_AbstrHF_TMQH5qid4H5uLAPzyuNWSJMPfnJkgBXWKqc} 25.00
TMa7u..^{conj_HOSetConstr_TMa7uDwCg9VqGyxLGMmEEDXnoK9rdrgDS2o} 25.00
TMa6f..^{conj_DiophantineMod_TMa6f3Zdm9sGkaMGgrBfcRQCYEte671Z88q} 25.00
TMXZf..^{conj_AbstrHF_TMXZftYxV5jdT8CUCUcBeVj1BQ9wr3rdqj2} 25.00
TMTpk..^{conj_QBF_TMTpkqvjTn2zNAHPveX2BSzsczKxAT3fWSA} 25.00
TMWPf..^{conj_Diophantine_TMWPf7xkvRmoHf9wjPdYqqYWa9r2ZWQcRUS} 25.00
TMSYR..^{conj_AbstrHF_TMSYRxGh7FUeC1bNrzrq8jmcmVpVTEYT5n8} 25.00
TMPN6..^{conj_HOUnif_TMPN6A4G9Moqd9i28wqRswJjqt9z54sxZBV} 25.00
TMQHx..^{conj_CombUnif_TMQHx9oeEBPMjRiSSzuXSoEnSkPTpGsmQ5q} 25.00
TMUtP..^{conj_AbstrHF_TMUtPBhLuRzBMx7ZLs1cEXzeauNQ7P4XKj2} 25.00
d01fb.. 25.00
TMT12..^{conj_DiophantineMod_TMT12DDGDfYuvCir5wiMDF7RuwdpDJRMXUe} 25.00
ba50c.. 25.00
TMFQW..^{conj_Diophantine_TMFQWsB9e13ApwsVCT4zz6wRcdnujs95TVZ} 25.00
a982e.. 25.00
TMMT7..^{conj_Diophantine_TMMT77uwmEwjaJQ4dzzJ84zZA4FT3GGQGBV} 25.00
TMVba..^{conj_QBF_TMVbaqfnMJ2J3inpn6NwLKPt25HZqonsqQU} 25.00
TMEin..^{conj_Diophantine_TMEintj4CgiqacpG3kdQgM7QLYMY6e24HQG} 25.00

More recent placed

Recently collected bounties

c463e..^{conj_DiophantineMod_TMTengeKhKDbDKzqoSQc2SPba7JK3cRKDfE} 25.00
99970..^{conj_DiophantineMod_TMaiPiBUrhisxW4Tx39r8C1FM7o64jWCBs3} 25.00
9699e..^{conj_Diophantine_TMR11X72UCSLJPbA99hZFNVuhQcvCy81LSc} 25.00
fc063..^{conj_DiophantineMod_TMMyg7fAVMVAQBNVYmsdq8rR7napxb6YvTo} 25.00
00038..^{conj_DiophantineMod_TMNJzeQJ3BqV3LKGkTYo8MuXpXhmbVgdH83} 25.00
2e708..^{conj_DiophantineMod_TMMo8pBookoXEESiq2r3ZfkVrFWr7f2ZUHS} 25.00
f1a95..^{conj_DiophantineMod_TMFy3k4s8cm3c9ZfmyGqat5MWBFK4i3NsQD} 25.00
1f6a3..^{conj_DiophantineMod_TMRyyKTSG53aPCLjfrqQ6PqBTQ7umDWgN46} 25.00
12d44..^{conj_DiophantineMod_TMNCqU579wYqP6GBG3GqNxkZ6mF8tw2SB6U} 25.00
63299..^{conj_Diophantine_TMY6kZMmsJyMvRS5tNQFTaRhv5FU5EWBDrT} 25.00
7dfdb..^{conj_DiophantineMod_TMWZcTUSxmDf8Kkws3wEgsMaNyjJhaGBmbR} 25.00
a44cb..^{Conj_add_CSNo_com__1__2} 25.00
df8dd..^{Conj_add_SNo_ordinal_ordinal__3__3} 25.00
712f0..^{Conj_mul_SNo_eq__19__1} 25.00
164f1..^{Conj_int_mul_SNo__3__2} 25.00
ec2d3..^{Conj_PNo_rel_imv_ex__16__2} 25.00
4ce24..^{MetaCat_struct_b_group_terminal} 25.00
e4b9e..^{MetaCat_struct_b_monoid_terminal} 25.00
ad386..^{MetaCat_struct_b_abelian_group_terminal} 25.00
aa3f3..^{MetaCat_struct_b_semigroup_terminal} 25.00

Proofgold recent bounties

More recent placed

More recent collected