Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMH8V..MetaCat_struct_e_pushout_constr 250.00
TMaV5..MetaCatSet_monic_inj_gen 125.00
bfc42..MetaCatHFSet_pushout 250.00
TMasA..MetaCat_struct_u_inj_pushout_constr 250.00
788ee..MetaCat_struct_r_ord_equalizer_constr 125.00
ec184..MetaCat_struct_r_equivreln_coproduct_constr 100.00
dcba1..MetaCat_struct_p_nno 250.00
877ff..MetaCat_struct_u_idem_equalizer_constr 125.00
TMSEp..MetaCat_struct_u_idem_subobject_classifier 250.00
18ea9..MetaCat_struct_r_ord_terminal 25.00
1051b..MetaCatSet_nno_gen_ex 250.00
71d59..MetaCat_struct_r_wellord_product_constr 100.00
57f50..MetaCat_struct_r_per_equalizer_constr 125.00
301a5..MetaCat_struct_r_left_adjoint_forgetful 750.00
058da..MetaCat_struct_r_partialord_terminal 25.00
75a41..MetaCat_struct_u_pullback_constr 250.00
97f16..MetaCat_struct_r_pullback_constr 250.00
TMTq7..MetaCat_struct_b_coequalizer_constr 125.00
80d3d..MetaCat_struct_r_equivreln_left_adjoint_forgetful 750.00
03706..MetaCatHFSet_equalizer_gen 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