Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMFLh..
conj_AbstrHF_TMFLhP5tYUmmzDbv98DqREaNPLaDBZzmH1L
25.00
TML1g..
conj_AbstrHF_TML1gK82iBRzrppPbhtHPeA2jXRQpY8JdhN
25.00
TMFMm..
conj_Diophantine_TMFMmhv4CjYN6Wkh8gjNHhKKSodFiuiV2ZT
25.00
TMF5J..
conj_DiophantineMod_TMF5JnSqCMkJhyULgE4ZnStMNNs9hG3NzvL
25.00
TMS6K..
conj_Diophantine_TMS6K2Q9bmS3JeUxcM1RjE8NvzKXpNFFusa
25.00
TMWe2..
conj_DiophantineMod_TMWe2QZuRZzsD6ELiU93p31HiXbN4y1f8et
25.00
TMVFr..
conj_Diophantine_TMVFrzyMFT9RED5ZNrG3541FT66h49tYCGg
25.00
TMNGy..
conj_CombUnif_TMNGyChKGEUkJavi6Bt5uXVXJJGi14cov2Z
25.00
TMJHu..
conj_CombUnif_TMJHuoFQGANuAGyPbBL7Fp3Kir4PZ6JtTFK
25.00
TMGLx..
conj_Diophantine_TMGLxJT3aXD5FqRFJQ57xcDg9ix2G8kXK1v
25.00
TMFtZ..
conj_AbstrHF_TMFtZJmNXqu1edLTpT3djhn4q9VtMvannRo
25.00
TMGtU..
conj_HOSetConstr_TMGtUexTLvLJiRGYCY4LFPabYdbXwj9gEP1
25.00
TMVxo..
conj_HOUnif_TMVxo1gzhBzpJvgMuc3HiZZVFgFiZMjsBNk
25.00
TMK1k..
conj_DiophantineMod_TMK1kTHs4f7iA1fBzZXZHMkj1GvgPfsoZRE
25.00
TMMPW..
conj_DiophantineMod_TMMPW7WcZsoxu7zX8xdX4n1gtUvkj7yCfXL
25.00
TMFTb..
conj_DiophantineMod_TMFTbrwohk52xjk5QJszbLn3rRuquhoc66j
25.00
TMZvJ..
conj_Diophantine_TMZvJ7DehevQRWm3pWg1NXaHouwk89CreKP
25.00
TMdoo..
conj_Random2_TMdoopWoA9jfqVyB2wh3mJFCWBhMvSh8fgP
25.00
TMPnb..
conj_DiophantineMod_TMPnbZMYDZB3pPEtTTnQmQUGTT53mNtTUdJ
25.00
TMZxs..
conj_DiophantineMod_TMZxssCvga35cuXC8MXJEqkZeP6joeNTKVk
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