Search for blocks/addresses/...

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
0e563..MetaCatSet_nno 250.00
b3083..MetaCatSmallSet_pushout 250.00
d1a34..MetaCat_struct_r_partialord_pullback_constr 250.00
e7f7d..MetaCat_struct_r_equivreln_pullback_constr 250.00
c2d12..MetaCat_struct_r_graph_pullback_constr 250.00
4d1df..MetaCat_struct_r_equivreln_product_constr 100.00
4f9ac..MetaCat_struct_p_product_constr 100.00
45658..MetaCat_struct_p_nonempty_product_constr 100.00
ece68..MetaCat_struct_r_product_constr 100.00
b370d..MetaCat_struct_r_per_product_constr 100.00
42715..MetaCat_struct_r_partialord_product_constr 100.00
709ef..MetaCat_struct_r_graph_product_constr 100.00
592be..MetaCat_struct_p_product_exponent 250.00
37ab0..MetaCatSet_product_exponent_gen_setprod_setexp 250.00
29786..MetaCatHFSet_product_exponent 250.00
e25fa..MetaCat_struct_p_nonempty_product_exponent 250.00
32b3d..MetaCatSet_product_exponent_gen 250.00
1810c..MetaCatSet_product_exponent 250.00
97ee8..MetaCat_struct_r_per_product_exponent 250.00
7f417..MetaCat_struct_r_product_exponent 250.00

More recent collected