Proofgold recent bounties

Recently placed bounties

TMZt9..^{conj_Diophantine_TMZt9zvCVt1guuL5QmrC6ghHuEEYRiYTF54} 25.00
ee911.. 25.00
TMcoR..^{conj_Diophantine_TMcoRzDy8RniZME1yhdFZyGFSgxaotCNPKW} 25.00
TMdU8..^{conj_Diophantine_TMdU8jhBPtEtWAV54fdA6UgdQL13LyviubA} 25.00
TMW1A..^{conj_DiophantineMod_TMW1A96m4k8UmGT6aywYbeHwayMJdsZBLTp} 25.00
TMXTV..^{conj_Random1_TMXTV4Fw4XHL9DUv41yYzCoLRAefmmx8ohs} 25.00
TMPi4..^{conj_QBF_TMPi4kqXP2WvnJhmA7PGjU1JtbcbUQsaPQi} 25.00
63c23.. 25.00
TMbKT..^{conj_Diophantine_TMbKThqVWkHP9rStDMzfHU9PFZ64rj1vqmb} 25.00
TMGzU..^{conj_QBF_TMGzUBAMHYSobp7963b3rYqmCprXR9i32F9} 25.00
5f591.. 25.00
5657c.. 25.00
c463e..^{conj_DiophantineMod_TMTengeKhKDbDKzqoSQc2SPba7JK3cRKDfE} 25.00
86c5a.. 25.00
7e706.. 25.00
TMXq4..^{conj_CombUnif_TMXq48A9aUyUARuhntu3V2i2CfmtJEzeDS2} 25.00
TMWhv..^{conj_HOSetConstr_TMWhvSB3qF4baQJU9Yo9ibyVK2NZAmare6G} 25.00
08e72.. 25.00
TMbbq..^{conj_DiophantineMod_TMbbqVK1bBaeTwczuMjav1NXtwLpPDFWFtt} 25.00
49a32.. 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