Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMMzs..
conj_Diophantine_TMMzs6k9xgpj13Y22MKzau9ih324rQ8GWot
25.00
TMdPM..
conj_Diophantine_TMdPMt54icLLiqCi4RD39LRSKbDNGur1B9s
25.00
TMVWi..
conj_Diophantine_TMVWiWUrpcYFwWEFYnUiK3u3fe9zy3X3AWW
25.00
TMFAp..
conj_AbstrHF_TMFApVa1dX8r1qpHs7rU1kSZCw8uGKsuF8a
25.00
TMKbG..
conj_Diophantine_TMKbGhac2q7SziwonJA5XG3mR9xn4B8E6fw
25.00
TMVJh..
conj_AbstrHF_TMVJhZYQPyaNHJtwuYtefJwFFG5MMC4fdDS
25.00
TMGLB..
conj_HOSetConstr_TMGLBUhQJAMk6MwnU5sMCtXcYg5hWCAfU6x
25.00
TMaxU..
conj_DiophantineMod_TMaxUaQyX7SUTXWpCf687veajo9bp7sxpQt
25.00
TMNNV..
conj_QBF_TMNNVeUK2GWRknJ6Ajwu7yvgWeFaM38nJTD
25.00
TMWpm..
conj_AbstrHF_TMWpm6TG7aHVNDFfuaQxYDL317H4nVN6z4p
25.00
TMWpi..
conj_Diophantine_TMWpiPKvHWMv5yuTpBSHuzww1MRjLc59q7J
25.00
TMbX4..
conj_DiophantineMod_TMbX4SZ4Z7Q32EBob3jRY273xjmDK7i5B6G
25.00
TMHu4..
conj_Diophantine_TMHu4k1PdzRcv6JgiB18Wx27jivSumWwTEs
25.00
TMXGJ..
conj_Diophantine_TMXGJcnuumktwmGj8gUAnJ7t7fAzt3fPNSa
25.00
TMF1f..
conj_HOUnif_TMF1fBAWyjPkMNZh3xwSpyjqheR4g9HGVEa
25.00
TMJxq..
conj_AbstrHF_TMJxq59ytQirsz1uUVsPxtREJZAbosa2E1b
25.00
TMMyw..
conj_Diophantine_TMMywnC9ksdMoVTnXBtgxpfE538zUtbSBL5
25.00
TMJFR..
conj_QBF_TMJFRbCw4u2Rm8gbXuubUukQ3zz7jaCmzNk
25.00
TMaHJ..
conj_Diophantine_TMaHJSrcfzFmsMcda5Z4YYmxfnXAR3kYQDA
25.00
TMHXJ..
conj_AbstrHF_TMHXJuWyP1FshnY7eg364iWPCm2hLRPdpab
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