Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
5de9f..MetaCat_struct_r_per_coproduct_constr 100.00
TMTP6..MetaCat_struct_e_equalizer_constr 125.00
TMUGb..MetaCat_struct_u_inj_coequalizer_constr 125.00
e28a3..MetaCat_struct_r_ord_product_constr 100.00
TMX5B..MetaCat_struct_r_equivreln_subobject_classifier 250.00
d53a2..MetaCat_struct_b_product_exponent 250.00
6ce53..MetaCat_struct_u_bij_product_constr 100.00
8ba3f..MetaCat_struct_p_pullback_constr 250.00
128d6..MetaCat_struct_p_nonempty_terminal 25.00
82496..MetaCat_struct_r_equivreln_product_exponent 250.00
TMMGr..MetaCat_struct_u_subobject_classifier 250.00
TMYdM..MetaCat_struct_e_coequalizer_constr 125.00
8822b..MetaCat_struct_u_inj_left_adjoint_forgetful 750.00
1e2ae..MetaCat_struct_u_initial 25.00
1810c..MetaCatSet_product_exponent 250.00
bdf9a..MetaCat_struct_u_inj_initial 25.00
32b3d..MetaCatSet_product_exponent_gen 250.00
ee44b..MetaCat_struct_u_equalizer_constr 125.00
ed3d2..MetaCat_struct_u_left_adjoint_forgetful 750.00
TMEmM..MetaCat_struct_p_nonempty_coequalizer_constr 125.00

More recent placed
Recently collected bounties
8ff5a.. 280.00
beb44.. 280.00
c0597.. 280.00
47f54.. 280.00
c9b31.. 280.00
cc96c.. 280.00
3a9bd.. 280.00
21ac2.. 280.00
2e546.. 280.00
81bc9.. 280.00
7a1d8.. 280.00
e4055.. 280.00
a5502.. 280.00
53414.. 280.00
b1641.. 280.00
268bf.. 280.00
bec91.. 280.00
b2d8d.. 280.00
4cea3.. 280.00
972b2.. 280.00

More recent collected