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

6f146.. 26.00
912c3.. 26.00
cfccf.. 26.00
ec184..^{MetaCat_struct_r_equivreln_coproduct_constr} 100.00
0e807..^{MetaCat_struct_p_nonempty_coproduct_constr} 100.00
09ba2..^{MetaCat_struct_p_coproduct_constr} 100.00
5de9f..^{MetaCat_struct_r_per_coproduct_constr} 100.00
9a2fc..^{MetaCat_struct_r_coproduct_constr} 100.00
8a2ce..^{MetaCat_struct_r_partialord_coproduct_constr} 100.00
ad517..^{MetaCat_struct_r_graph_coproduct_constr} 100.00
e634a.. 26.00
3f4ec.. 26.00
ffbd6.. 26.00
4cb6e.. 26.00
be048.. 26.00
60b79.. 26.00
f4147.. 26.00
4eb20.. 26.00
cd28a.. 26.00
a3dc1.. 26.00

Proofgold recent bounties

More recent placed

More recent collected