Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMVpj..
conj_DiophantineMod_TMVpj1Tsw8JqFrvzwjGx6T1VCC8J2P8guR3
25.00
TMKGg..
conj_Random1_TMKGg6bjyafH3UEZ9AVdDgdKtDs2o3L2K5M
25.00
TMWmA..
conj_AbstrHF_TMWmATEyFabRsd54HDsWqrMQpa9cjpdGgMY
25.00
TMaLE..
conj_Random2_TMaLEyJMWDQUQRFkPhdoAxazekiUHV2WC4t
25.00
TMKei..
conj_HOSetConstr_TMKeiipjB917cP3FkcA7cNhLiZeWfL25sso
25.00
TMHFQ..
conj_QBF_TMHFQF9M3LX7Dhx9z5TWj9JZnZcg3HxHDjv
25.00
TMEyE..
conj_DiophantineMod_TMEyEGw8HeU5R8a7GMTYeasNouUFEhd4GXK
25.00
TMQxe..
conj_HOUnif_TMQxeBuiJ6f6iChT9pnhUrqWa4MDFQsHLiQ
25.00
TMPvT..
conj_DiophantineMod_TMPvTGxqM5Sm4SJzqEX1cHZkS1iULtev8jB
25.00
TMY56..
conj_HOSetConstr_TMY56YqTza3dpvH8Uep1wd289Y9Rx2usiY3
25.00
TMb1B..
conj_DiophantineMod_TMb1Bjf3dk9ukfKPSG4sZ2x6dFZeFJirKTL
25.00
TMJdJ..
conj_AbstrHF_TMJdJWy8dTUzZ1vterRDDdShT7JynQw4RSV
25.00
TMH67..
conj_CombUnif_TMH67uuHZu3svdpfaaQ6iP6qrf1cBbrjYKw
25.00
TMFgU..
25.00
TMdpY..
conj_HOSetConstr_TMdpYSg3vhN3bqaY2VpziLvWWCGdpCcQWpe
25.00
TMUBN..
conj_DiophantineMod_TMUBNFyzHSVivwhiau8VzLFk2E8KTUgHuPE
25.00
TMaJX..
conj_DiophantineMod_TMaJXwtQfXwFjvCrFV1Rj1S38yWjeSZpXgc
25.00
TMPnc..
conj_Random1_TMPncFFKDBfyAiv3xiPJaCwBjeHmqB2fhpz
25.00
TMUhR..
conj_AbstrHF_TMUhRdeP8UWevuTWMCqV6YDfMk12bV54EpT
25.00
TMSj2..
conj_DiophantineMod_TMSj21e36apzawuTeTDvfUDMoQKaY9wBDrZ
25.00
More open bounties
Collected bounties
5b30a..
not_TwoRamseyProp_4_5_Power_4
100.00
TwoRamseyProp_5_5_Power_6
TwoRamseyProp_5_5_Power_6
100.00
TwoRamseyProp_3_6_Power_5
TwoRamseyProp_3_6_Power_5
100.00
1d99f..
not_TwoRamseyProp_3_7_Power_4
100.00
dd5dc..
MetaCat_struct_b_quasigroup_product_constr
100.00
64746..
MetaCat_struct_b_monoid_product_constr
100.00
183c5..
MetaCat_struct_b_semigroup_product_constr
100.00
05bdf..
MetaCat_struct_b_group_product_constr
100.00
760b6..
MetaCat_struct_b_abelian_group_product_constr
100.00
6133c..
MetaCat_struct_b_loop_product_constr
100.00
17458..
MetaCat_struct_r_wellord_coproduct_constr
100.00
ad517..
MetaCat_struct_r_graph_coproduct_constr
100.00
ebfe1..
MetaCat_struct_r_ord_coproduct_constr
100.00
709ef..
MetaCat_struct_r_graph_product_constr
100.00
42715..
MetaCat_struct_r_partialord_product_constr
100.00
8a2ce..
MetaCat_struct_r_partialord_coproduct_constr
100.00
b370d..
MetaCat_struct_r_per_product_constr
100.00
ece68..
MetaCat_struct_r_product_constr
100.00
9a2fc..
MetaCat_struct_r_coproduct_constr
100.00
f2a7f..
MetaCat_struct_u_idem_product_constr
100.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88