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
6d32c..
25.00
6b49e..
25.00
6e02f..
25.00
e63d5..
25.00
4b38b..
25.00
a5ac6..
25.00
48260..
25.00
9ae36..
25.00
9a10f..
25.00
feb6e..
25.00
00038..
conj_DiophantineMod_TMNJzeQJ3BqV3LKGkTYo8MuXpXhmbVgdH83
25.00
6457a..
25.00
4a1e7..
25.00
500fa..
25.00
94218..
25.00
07982..
25.00
60fc8..
25.00
04b5b..
25.00
57503..
25.00
ba301..
25.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88