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

c4dc5.. 26.00
d4568.. 26.00
90d1c.. 26.00
37460.. 26.00
03f1a.. 26.00
e41a9.. 26.00
5c3c2.. 26.00
b5b9b.. 26.00
e9785..^{MetaCat_struct_b_initial} 25.00
75fea..^{MetaCat_struct_u_terminal} 25.00
1e2ae..^{MetaCat_struct_u_initial} 25.00
021fd..^{MetaCat_struct_b_terminal} 25.00
150e3..^{MetaCat_struct_b_product_constr} 100.00
a9079..^{MetaCat_struct_u_product_constr} 100.00
ee44b..^{MetaCat_struct_u_equalizer_constr} 125.00
c368b..^{MetaCat_struct_b_equalizer_constr} 125.00
a238a..^{MetaCat_struct_b_pullback_constr} 250.00
75a41..^{MetaCat_struct_u_pullback_constr} 250.00
02ee4.. 26.00
6c796.. 26.00

Proofgold recent bounties

More recent placed

More recent collected