Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
e5c69..MetaCat_struct_r_ord_pushout_constr 250.00
709ef..MetaCat_struct_r_graph_product_constr 100.00
18e31..MetaCat_struct_u_idem_coproduct_constr 100.00
6bf66..MetaCat_struct_r_partialord_nno 250.00
ee0c2..MetaCat_struct_b_nno 250.00
TMWLy..MetaCat_struct_r_coequalizer_constr 125.00
TMEkY..MetaCat_struct_r_partialord_coequalizer_constr 125.00
ea0ba..MetaCat_struct_c_nno 250.00
8e7ab..MetaCat_struct_b_group_initial 25.00
TMZTG..MetaCat_struct_c_Hausdorff_topology_pushout_constr 250.00
TMbrW..MetaCat_struct_b_b_e_subobject_classifier 250.00
5da2f..MetaCat_struct_c_left_adjoint_forgetful 750.00
TMR38..MetaCat_struct_b_b_e_e_semiring_coequalizer_constr 125.00
TMQTS..MetaCat_struct_b_b_e_e_cring_subobject_classifier 250.00
ff8c0..MetaCat_struct_b_b_e_e_product_constr 100.00
8006d..MetaCat_struct_b_abelian_group_nno 250.00
ed079..MetaCat_struct_c_T1_topology_left_adjoint_forgetful 750.00
fd9cb..MetaCat_struct_b_monoid_nno 250.00
TMFdY..MetaCat_struct_b_b_r_e_e_pullback_constr 250.00
28373..MetaCat_struct_c_Hausdorff_topology_initial 25.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