Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
0f104..MetaCat_struct_c_T1_topology_initial 25.00
e6d9e..MetaCat_struct_b_group_equalizer_constr 125.00
TMQcZ..MetaCat_struct_c_pullback_constr 250.00
a5180..MetaCat_struct_b_quasigroup_coproduct_constr 100.00
82010..MetaCat_struct_c_topology_initial 25.00
TMXQH..MetaCat_struct_b_group_subobject_classifier 250.00
3ab71..MetaCat_struct_b_quasigroup_initial 25.00
485ba..MetaCat_struct_c_T1_topology_product_exponent 250.00
03687..MetaCat_struct_c_Hausdorff_topology_product_constr 100.00
TMPTY..MetaCat_struct_b_abelian_group_subobject_classifier 250.00
b43a8..MetaCat_struct_c_T1_topology_terminal 25.00
2614c..MetaCat_struct_b_loop_pullback_constr 250.00
c8e85..MetaCat_struct_c_Hausdorff_topology_product_exponent 250.00
994bf..MetaCat_struct_b_abelian_group_equalizer_constr 125.00
6a5cf..MetaCat_struct_b_quasigroup_nno 250.00
aa3f3..MetaCat_struct_b_semigroup_terminal 25.00
39318..MetaCat_struct_c_Hausdorff_topology_coproduct_constr 100.00
f1b36..MetaCat_struct_b_loop_equalizer_constr 125.00
a69bb..MetaCat_struct_c_topology_product_exponent 250.00
750bb..MetaCat_struct_b_abelian_group_initial 25.00

More recent placed
Recently collected bounties
68f35.. 26.00
165d8.. 26.00
a1b14.. 26.00
ee3db.. 26.00
2f503.. 26.00
4e4ad.. 26.00
7d2a1.. 26.00
57f50..MetaCat_struct_r_per_equalizer_constr 125.00
ef69d..MetaCatHFSet_coequalizer 125.00
e3112..MetaCat_struct_p_nonempty_equalizer_constr 125.00
5bbc1..MetaCatSet_coequalizer_gen 125.00
03706..MetaCatHFSet_equalizer_gen 125.00
56101..MetaCat_struct_p_equalizer_constr 125.00
33046..MetaCatSet_coequalizer 125.00
3d3ca..MetaCatSmallSet_equalizer_gen 125.00
ae25c..MetaCatSet_equalizer_gen 125.00
04991..MetaCatSmallSet_coequalizer 125.00
06b27..MetaCat_struct_r_graph_equalizer_constr 125.00
3d0dd..MetaCat_struct_r_partialord_equalizer_constr 125.00
99d06..MetaCat_struct_r_equivreln_equalizer_constr 125.00

More recent collected