Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
b5447..MetaCat_struct_e_terminal 25.00
8e8d1..MetaCat_struct_e_product_constr 100.00
5b67a..MetaCat_struct_u_idem_pullback_constr 250.00
6f6f3..MetaCat_struct_u_bij_pullback_constr 250.00
a238a..MetaCat_struct_b_pullback_constr 250.00
4f9ac..MetaCat_struct_p_product_constr 100.00
TMFE6..MetaCat_struct_r_per_subobject_classifier 250.00
44067..MetaCat_struct_r_per_pullback_constr 250.00
568d6..MetaCat_struct_r_ord_subobject_classifier 250.00
7223a..MetaCatSmallSet_subobject_classifier 250.00
37ab0..MetaCatSet_product_exponent_gen_setprod_setexp 250.00
40b2c..MetaCat_struct_u_inj_pullback_constr 250.00
09ba2..MetaCat_struct_p_coproduct_constr 100.00
d74c3..MetaCat_struct_u_inj_coproduct_constr 100.00
5bbc1..MetaCatSet_coequalizer_gen 125.00
b8863..MetaCat_struct_p_nonempty_nno 250.00
bd9cd..MetaCatSet_subobject_classifier_gen 250.00
83a64..MetaCat_struct_u_coproduct_constr 100.00
e3112..MetaCat_struct_p_nonempty_equalizer_constr 125.00
0ba1a..MetaCat_struct_u_inj_equalizer_constr 125.00

More recent placed
Recently collected bounties
6eafe.. 280.00
ee513.. 280.00
745b7.. 280.00
07b9c.. 280.00
740a6.. 280.00
39a86.. 280.00
e5fe5.. 280.00
41c8b.. 280.00
73a98.. 280.00
6bbff.. 280.00
c7a39.. 280.00
670de.. 280.00
3de6d.. 280.00
49180.. 280.00
da898.. 280.00
9d36d.. 280.00
7c33d.. 280.00
3f448.. 280.00
c2580.. 280.00
df410.. 280.00

More recent collected