Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMPmC..
conj_CombUnif_TMPmCcyRiZJHxzXvLjeAEVZcTEPq4EU4DFb
25.00
TMdwJ..
conj_DiophantineMod_TMdwJ5tzNdfEUkdCZ6P9KMb7ZyFB5hDqjuK
25.00
TMMhG..
conj_HOSetConstr_TMMhGzbcdXEEgj5uQ8vBLc4gegfdA2qF8UU
25.00
TMXRw..
conj_HOSetConstr_TMXRwmRowAW39d6vfxSJSkiMfSLdshhUZDH
25.00
TMWVB..
conj_CombUnif_TMWVBBU3AZMFYRGirAejdvu4u7MwrMXvtUT
25.00
TMTux..
conj_CombUnif_TMTuxJhxsfpbetfyEoKEeqbMkd3brSzksDh
25.00
TMLk3..
conj_DiophantineMod_TMLk3wSktmGBm1tgkXuH1nPvWfpTtfaW2Dc
25.00
TMUko..
conj_AbstrHF_TMUkoU2dAhrdnsrTqdXuWZHk4awwi9GvHAC
25.00
TMHGC..
conj_AbstrHF_TMHGCKx7BXiAcUV7U1bkR9QBECJVE9ZWBiP
25.00
TMUgM..
conj_CombUnif_TMUgMefdC3kN1YjwCcv1XCfgh7s5doLKXxN
25.00
TMS3E..
conj_Random1_TMS3EDbBZFJzgMToBqJSBQHfXgffL8sHP8c
25.00
TMMEh..
conj_CombUnif_TMMEhoUvBdpXpqCwuCiWJoKB8PQ86KBuEo7
25.00
TMF2L..
conj_QBF_TMF2Lv6cFwkJuZ7enxaULTfSyagshtuMWjk
25.00
TMLUY..
conj_QBF_TMLUYxZJ5gBLcRBAuEc9a7uopzZqp66nmWt
25.00
TMZhM..
conj_QBF_TMZhMcjNX5MAUBKpPmftYRHMvNR8Pbw7hsH
25.00
TMEqk..
conj_AbstrHF_TMEqkucaShRJWeoQSQzUJ91UTx7eqjGd1xL
25.00
TMXwf..
conj_DiophantineMod_TMXwfAsf5kkkfWxQnXASWNituqm6Gz5ZuoM
25.00
TMLTf..
conj_CombUnif_TMLTfbBkhdDrc6NSCgnfTGVGuHgJ11vjh8N
25.00
TMFd5..
conj_DiophantineMod_TMFd5645J5FKNzmzKvwa9eDT3QhTPQoDvcS
25.00
TMQ2n..
conj_CombUnif_TMQ2nGfLLZ6Rab9X67Ttj4q4jNtnqiaj2E4
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