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

2167e..^{Conj_SNoS_omega_diadic_rational_p_lem__10__10} 25.00
cae12..^{MetaCat_struct_u_idem_terminal} 25.00
43061..^{MetaCat_struct_b_monoid_initial} 25.00
1451d..^{MetaCat_struct_b_monoid_equalizer_constr} 125.00
12c76..^{MetaCat_struct_u_nno} 250.00
8d752..^{MetaCat_struct_u_idem_nno} 250.00
cdd84..^{MetaCat_struct_u_bij_nno} 250.00
fc83d..^{MetaCat_struct_u_inj_nno} 250.00
f9bf8..^{MetaCat_struct_b_monoid_pullback_constr} 250.00
7f3dc..^{MetaCat_struct_b_monoid_left_adjoint_forgetful} 750.00
d71fb..^{Conj_PNo_strict_imv_pred_eq__6__3} 25.00
34bd0..^{Conj_real_add_SNo__44__7} 25.00
49f1d..^{Conj_minus_SNo_Lev_lem1__22__2} 25.00
3cff7..^{Conj_mul_SNo_SNoR_interpolate__4__3} 25.00
56dcc..^{Conj_real_add_SNo__30__7} 25.00
24d2c..^{Conj_PigeonHole_nat__1__0} 25.00
36a11..^{Conj_mul_SNo_eq__19__0} 25.00
79465..^{Conj_SNo_etaE__5__1} 25.00
3cff7..^{Conj_mul_SNo_SNoR_interpolate__4__3} 25.00
85918..^{Conj_SNo_rec2_eq__1__1} 25.00

Proofgold recent bounties

More recent placed

More recent collected