Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
05bdf..MetaCat_struct_b_group_product_constr 100.00
e4b9e..MetaCat_struct_b_monoid_terminal 25.00
TMSm8..MetaCat_struct_b_b_e_e_semiring_equalizer_constr 125.00
f8b92..MetaCat_struct_b_abelian_group_product_exponent 250.00
e443a..MetaCat_struct_b_abelian_group_pullback_constr 250.00
TMEkX..MetaCat_struct_c_T1_topology_equalizer_constr 125.00
TMHDF..MetaCat_struct_b_loop_pushout_constr 250.00
74694..MetaCat_struct_c_T1_topology_nno 250.00
6aef9..MetaCat_struct_b_loop_product_exponent 250.00
b6cb9..MetaCat_struct_c_topology_nno 250.00
4ce24..MetaCat_struct_b_group_terminal 25.00
f9bf8..MetaCat_struct_b_monoid_pullback_constr 250.00
TMZWq..MetaCat_struct_c_equalizer_constr 125.00
TMNdA..MetaCat_struct_b_semigroup_subobject_classifier 250.00
b2b2f..MetaCat_struct_b_loop_initial 25.00
1451d..MetaCat_struct_b_monoid_equalizer_constr 125.00
65df6..MetaCat_struct_b_monoid_product_exponent 250.00
3a125..MetaCat_struct_c_product_constr 100.00
b8f7d..MetaCat_struct_b_group_nno 250.00
TMGi4..MetaCat_struct_b_group_pushout_constr 250.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