Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMJUj..
conj_QBF_TMJUjbihU5LJSwKMvJL6cZ5qf27FGispf7Q
25.00
TMW6e..
conj_Random2_TMW6eLRc5zbuwV3GcNosifHXyMRAtZqP9RT
25.00
TMZwC..
conj_AbstrHF_TMZwCGjVgYfqfEq4noma3RnfzvywwNZgqud
25.00
TMbkH..
conj_DiophantineMod_TMbkHTc3uEHoVR4to8N6kSRXNyqvE3rv6q2
25.00
TMHEV..
conj_DiophantineMod_TMHEVfuJonKEepmoo67jcNAqnpSc9Hac5NV
25.00
TMF79..
conj_HOSetConstr_TMF79gCe6WhvreoKQayVkRUxXrgSKoAtikh
25.00
TMRZX..
conj_QBF_TMRZXJNppz4CxxMzZ4qHXJHpDghAqQRCiqd
25.00
TMFsv..
conj_Random2_TMFsvdcRLDCSVfJPfGxxAKDnme8ppV7NWB4
25.00
TMdNc..
conj_AbstrHF_TMdNciLyfityckRuWh15ufDvNXi23JorvTq
25.00
TMbFc..
conj_Diophantine_TMbFccNPAmd1RNVtkzj5NZo32YHvPhheicD
25.00
TMWTe..
conj_Diophantine_TMWTe5ue4txYmmTtTJyudQoGHeMkESqQzyx
25.00
TMdY8..
conj_AbstrHF_TMdY8hYec4xTxvzDSBzXiTMC7qpc2rQn2ck
25.00
TMFdn..
conj_Diophantine_TMFdn5yo8hYRs4i3vTHMXFzCDWyqjGFoRs4
25.00
TMRGL..
conj_DiophantineMod_TMRGL171tXFweWHsKpRqBDcd7JrDohntgfG
25.00
TMZXR..
conj_Random2_TMZXRW7zibDFmC6NZuJKGwJxkcAGMAKd3ER
25.00
TMWtD..
conj_DiophantineMod_TMWtDZac5NvCFgT1N4uvz8XNYvo1vi23JUH
25.00
TMZuf..
conj_DiophantineMod_TMZufUbJwCAPVZ6BaPmVLCdTyfux9TyF28s
25.00
TMRMN..
conj_DiophantineMod_TMRMNFaiskZwBtwDQ41shTLfwmMsb8ZfqaV
25.00
TMFoC..
conj_QBF_TMFoCSzoyrj6CNufG825Y6GKaFEmxtAcDmC
25.00
TMGRr..
conj_Diophantine_TMGRrWzQ4pX9xz4VSX9ue19Hp6TMeyMygDh
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