Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
8d77d..MetaCat_struct_b_b_e_e_semiring_coproduct_constr 100.00
073ed..MetaCat_struct_b_b_e_rng_product_constr 100.00
0ab38..MetaCat_struct_b_b_e_e_coproduct_constr 100.00
a5180..MetaCat_struct_b_quasigroup_coproduct_constr 100.00
03687..MetaCat_struct_c_Hausdorff_topology_product_constr 100.00
39318..MetaCat_struct_c_Hausdorff_topology_coproduct_constr 100.00
702de..MetaCat_struct_b_loop_coproduct_constr 100.00
06f53..MetaCat_struct_c_T1_topology_coproduct_constr 100.00
3a125..MetaCat_struct_c_product_constr 100.00
e9960..MetaCat_struct_c_coproduct_constr 100.00
3f944..MetaCat_struct_b_semigroup_coproduct_constr 100.00
e8f2e..MetaCat_struct_c_topology_product_constr 100.00
13890..MetaCat_struct_c_topology_coproduct_constr 100.00
9d52d..MetaCat_struct_b_monoid_coproduct_constr 100.00
d1f2d..MetaCat_struct_b_abelian_group_coproduct_constr 100.00
7abd1..MetaCat_struct_b_group_coproduct_constr 100.00
ecb0c..MetaCat_struct_b_b_e_rng_coproduct_constr 100.00
c5905..MetaCat_struct_b_b_e_product_constr 100.00
2981a..MetaCat_struct_c_T1_topology_product_constr 100.00
ff8c0..MetaCat_struct_b_b_e_e_product_constr 100.00

More open bounties

Collected bounties
1e2ae..MetaCat_struct_u_initial 25.00
bdf9a..MetaCat_struct_u_inj_initial 25.00
883bd..MetaCat_struct_u_inj_terminal 25.00
da2c1..MetaCat_struct_p_nonempty_initial 25.00
14bd1..MetaCat_struct_p_terminal 25.00
75fea..MetaCat_struct_u_terminal 25.00
058da..MetaCat_struct_r_partialord_terminal 25.00
1615b..MetaCat_struct_p_initial 25.00
e9785..MetaCat_struct_b_initial 25.00
5dc25..MetaCat_struct_r_equivreln_initial 25.00
49763..MetaCat_struct_r_wellord_terminal 25.00
18ea9..MetaCat_struct_r_ord_terminal 25.00
c4959..l32_interva1 25.00
cc92e..t13_arytm_3 25.00
1139b..t13_pre_ff 25.00
e92bb..t10_sin_cos8 25.00
08f54..t3_xregular 25.00
cd3d8..t5_radix_1 25.00
2faed..t5_xregular 25.00
ac28c..t4_xregular 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88