Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMKUi..
conj_DiophantineMod_TMKUiPTD5tYdKUcMNb8ahsf29HikFw14QPn
25.00
TMVLA..
conj_DiophantineMod_TMVLAnrZL9QKD4EXbpZdQsR5A7h1Lhr4b92
25.00
TMXmT..
conj_AbstrHF_TMXmThPPa2NzBnqfjbgTDK9SU7ngJS5UQym
25.00
TMcbR..
conj_DiophantineMod_TMcbR9YkwvUb9EUpsnXnCGMcsGzh3GY2qfb
25.00
TMUg2..
conj_DiophantineMod_TMUg2Uoio3BXRuRqT5rXj79XzH2dawX7D39
25.00
TMNJG..
conj_AbstrHF_TMNJGBcmK8KmcpjhzqLaU5BTweKtAsS439S
25.00
TMT5S..
conj_AbstrHF_TMT5SJErDgH6dY7nTc99XNpqFCymnnZYMQN
25.00
TML8B..
conj_HOUnif_TML8B6JQA4bMvxCtDKrk2Ttyie24ZcFJSzF
25.00
TMRwY..
conj_Random1_TMRwYWsqPf79Ubk6dYfLXVwXGu1yvJMDyB5
25.00
TMJLD..
conj_AbstrHF_TMJLD9yPrCfbyrZSLmRjL2gkVBqT482ynNi
25.00
TMPiD..
conj_CombUnif_TMPiDh51CpGWUcRC4bkMEBrtGEv3stom7ac
25.00
TMH6x..
25.00
TMFsV..
conj_DiophantineMod_TMFsVwhunE91QoQM8NgnnHr3jsj7E9iHLKn
25.00
TMRj8..
conj_HOSetConstr_TMRj8Me9ReibpM6xCHMYhnfzA5L4uUkv9GD
25.00
TMLs9..
conj_AbstrHF_TMLs9xDW6zN5MEZ8EX46meQXw1QNqtytCUP
25.00
TMGUt..
conj_DiophantineMod_TMGUt5HvCTFGWj8sTYMtBp1UgQKT8dhi8Cd
25.00
TMUn1..
conj_DiophantineMod_TMUn1k1ZD4FrmmFjgVF8YeEXaQb5npivpQv
25.00
TMLBc..
conj_QBF_TMLBc316Kx37tDx5NWSXTA6DzV6r78AgtBQ
25.00
TMTEX..
conj_HOSetConstr_TMTEX1bQJmDHZVjWy2PU6yDYG8w9CsnNxDw
25.00
TMN9n..
conj_Random2_TMN9nY682pCS7GXEeTiwzymtv28oF3XPdvz
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