Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMcZU..MetaCat_struct_c_Hausdorff_topology_pullback_constr 250.00
TMYx7..MetaCat_struct_c_T1_topology_pullback_constr 250.00
TMXvB..MetaCat_struct_c_pushout_constr 250.00
TMWYw..MetaCat_struct_b_monoid_pushout_constr 250.00
TMXWm..MetaCat_struct_b_quasigroup_pushout_constr 250.00
TMdPV..MetaCat_struct_c_T1_topology_pushout_constr 250.00
f8b92..MetaCat_struct_b_abelian_group_product_exponent 250.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
TMNdA..MetaCat_struct_b_semigroup_subobject_classifier 250.00
65df6..MetaCat_struct_b_monoid_product_exponent 250.00
b8f7d..MetaCat_struct_b_group_nno 250.00
TMGi4..MetaCat_struct_b_group_pushout_constr 250.00
TMKpY..MetaCat_struct_b_loop_subobject_classifier 250.00
TMcVZ..MetaCat_struct_b_semigroup_pushout_constr 250.00
TMXWk..MetaCat_struct_c_topology_pullback_constr 250.00
TMTr5..MetaCat_struct_c_Hausdorff_topology_subobject_classifier 250.00
71b81..MetaCat_struct_c_Hausdorff_topology_nno 250.00

More open bounties

Collected bounties
fe17b..Conj_real_add_SNo__18__2 25.00
a064b..Conj_minus_SNo_invol__8__2 25.00
ff211..Conj_SNoS_omega_diadic_rational_p_lem__11__5 25.00
36a11..Conj_mul_SNo_eq__19__0 25.00
7b761..Conj_mul_SNo_com__1__0 25.00
59be3..Conj_minus_SNo_invol__5__6 25.00
24d2c..Conj_PigeonHole_nat__1__0 25.00
ad676..Conj_SNo_etaE__12__1 25.00
56dcc..Conj_real_add_SNo__30__7 25.00
296c6..Conj_SNo_pos_eps_Le__2__3 25.00
e1d83..Conj_PNo_rel_imv_ex__7__4 25.00
3cff7..Conj_mul_SNo_SNoR_interpolate__4__3 25.00
dd834..Conj_ordinal_SNoR__1__0 25.00
3aec6..Conj_SNo_approx_real_rep__1__1 25.00
49f1d..Conj_minus_SNo_Lev_lem1__22__2 25.00
34bd0..Conj_real_add_SNo__44__7 25.00
09057..Conj_real_mul_SNo_pos__14__9 25.00
4b294..Conj_SNoCut_Le__3__5 25.00
5103b..Conj_real_add_SNo__45__20 25.00
a558a..Conj_SNoL_1__1__0 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88