Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMFn3..
conj_AbstrHF_TMFn3FWnMQ4JSNViDvXeXKpHBGAV2AAkQHq
25.00
TMRk8..
conj_QBF_TMRk8x8MsioZUcpVmb14ySfwpacjuHP2xwf
25.00
TMVUp..
25.00
TMKZM..
conj_HOSetConstr_TMKZMHw5mr3nxkzvFSsBaoQQoQ19U2UgPra
25.00
TMJnV..
conj_QBF_TMJnVxCv3x9wjxxUwfYomMw8Lq9DgNNPnVu
25.00
TMUfJ..
conj_DiophantineMod_TMUfJGrHxzCTCamPHC7RGJgaGqKHB46uUTa
25.00
TMHQL..
conj_AbstrHF_TMHQL9pkqPkjmpqZpH71QtJEPuPgfYV1JRA
25.00
TMQSb..
conj_CombUnif_TMQSb3hdZks49QWpejoCa3mhDUT9chk2d53
25.00
TMFsP..
conj_Diophantine_TMFsPdzukB9r26FXpMtrE3e8BPhzk992i74
25.00
TMZ2d..
conj_Diophantine_TMZ2dGWY79kF1wQp7WWqrZMKT1WKb7Jrjn4
25.00
TMN8a..
25.00
TMR6f..
conj_Diophantine_TMR6fsyBD6yd6qw1BqkFbArrsZxrqXjUbub
25.00
TMEin..
conj_Diophantine_TMEintj4CgiqacpG3kdQgM7QLYMY6e24HQG
25.00
TMVba..
conj_QBF_TMVbaqfnMJ2J3inpn6NwLKPt25HZqonsqQU
25.00
TMMT7..
conj_Diophantine_TMMT77uwmEwjaJQ4dzzJ84zZA4FT3GGQGBV
25.00
TMFQW..
conj_Diophantine_TMFQWsB9e13ApwsVCT4zz6wRcdnujs95TVZ
25.00
TMT12..
conj_DiophantineMod_TMT12DDGDfYuvCir5wiMDF7RuwdpDJRMXUe
25.00
TMUtP..
conj_AbstrHF_TMUtPBhLuRzBMx7ZLs1cEXzeauNQ7P4XKj2
25.00
TMQHx..
conj_CombUnif_TMQHx9oeEBPMjRiSSzuXSoEnSkPTpGsmQ5q
25.00
TMPN6..
conj_HOUnif_TMPN6A4G9Moqd9i28wqRswJjqt9z54sxZBV
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