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

1e52c..^{conj_AIM1_TMJ6x4qymV9bU6vHmiv7wvcBxDKi5pjWFBQ} 26.00
6c796.. 26.00
dd2c3.. 26.00
acbec..^{conj_AIM1_TMbqmFcR6mjbhEj9FSk5rnRWpDWSyWDYypV} 26.00
24e23.. 26.00
08907..^{conj_AIM1_TMXZ2KdpJ6kzM6jXiXg7i99pFhq7CGhK6v5} 26.00
f5674.. 26.00
48969..^{conj_AIM1_TMSPEdP2SLFH6VZosPw2eR27NgccgMSQaHE} 26.00
9c369.. 26.00
bd2a8.. 26.00
87c7d.. 26.00
d04b2..^{conj_AIM2_TMTgHW7YcF8pQikGrm4yauCLwoTmAsYhTMn} 26.00
4bcbc.. 26.00
809f2..^{conj_AIM2_TMLwofVHi5ZzxxNG8GtAoDVd7L9TiARtGuU} 26.00
77352.. 26.00
d06dd.. 26.00
79c01.. 26.00
02ee4.. 26.00
cb6d7..^{conj_AIM2_TMVmW8xoa15TYddVKBwxWB7LckHsjp4yZ9g} 26.00
88e75..^{conj_AIM2_TMHPChFYGWVDhN51dwFHHeDEZ9ZHrbvgG5T} 26.00

More closed bounties

Open sum
304,239.66

Collected sum
209,544.88