Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMLhU..
conj_CombUnif_TMLhUBgTkGKMSW5Ut1mbbY53LRyMde1Ae4b
25.00
TMaZn..
conj_CombUnif_TMaZnJyW4JwWK2onST2Wv8BPo1peN9SDPSQ
25.00
TMPeu..
conj_AbstrHF_TMPeugjTAHH1TZ68oGTckSFfNpUMgRjUksr
25.00
TMVw2..
conj_HOUnif_TMVw2dWDFX4xxxMWYSJUT9Gn9yjxGZgtZ29
25.00
TMVX6..
conj_AbstrHF_TMVX6wZxmc7yyapsYmJKxjmoEugEDynFM5X
25.00
TMQai..
conj_HOSetConstr_TMQaiWUEmFtp9LKHToDT33HMxVyQhG3ZgAY
25.00
TMGiZ..
conj_CombUnif_TMGiZy2WA53GzjekrCyKXvjToxnxwxM89Cr
25.00
TMW44..
conj_AbstrHF_TMW44JWA9ZhuiJ4SJvW72G1RD81Pp1WZk29
25.00
TMc6m..
conj_AbstrHF_TMc6mhDGxo6JdBgNutWKvnJxepNg2VXatbe
25.00
TMUSP..
conj_HOSetConstr_TMUSPgKJxhUW1s5Q9sgi8gGMW6C1kQRpvaw
25.00
TMFhP..
conj_CombUnif_TMFhPmXKim4k5x9cgNsbZJwFjXaTMwDKeqF
25.00
TMcDN..
conj_CombUnif_TMcDN8JB7NiFiacU5MeRNUJiP6ynCmUjPHv
25.00
TMWz2..
conj_AbstrHF_TMWz2fuN5e5gkRrMWHxH6SzPWuiDfpFAkK3
25.00
TMQ2a..
25.00
TMbvK..
conj_AbstrHF_TMbvKNUdNmFUVJXCHpV6PER3ysQwKaJ9xdP
25.00
TMMxD..
conj_DiophantineMod_TMMxDse1uuLgxATqfKVNg8x9hvb19S4oBt9
25.00
TMdyD..
conj_HOSetConstr_TMdyDMeKPXKhGRKZ5vi7ShrncUqQwwhC1MV
25.00
TMRtP..
conj_DiophantineMod_TMRtPynw7cwJj3edX7VU2NxMsLiXaAduSn7
25.00
TMTLv..
conj_DiophantineMod_TMTLvY7XsmLYZuvAVroCkjjsCjaVT4P1zpY
25.00
TMRX9..
conj_Random1_TMRX9PjGutHoE4dx51GKvGBQ3Tb5QadGwhM
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