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
not_TwoRamseyProp_3_6_17not_TwoRamseyProp_3_6_17 800.00
not_TwoRamseyProp_3_5_13not_TwoRamseyProp_3_5_13 800.00
TwoRamseyProp_3_6_18TwoRamseyProp_3_6_18 800.00
not_TwoRamseyProp_4_5_24not_TwoRamseyProp_4_5_24 800.00
TwoRamseyProp_3_5_14TwoRamseyProp_3_5_14 800.00
7f3dc..MetaCat_struct_b_monoid_left_adjoint_forgetful 750.00
5da2f..MetaCat_struct_c_left_adjoint_forgetful 750.00
1e88d..MetaCat_struct_r_graph_left_adjoint_forgetful 750.00
8dcfe..MetaCat_struct_r_per_left_adjoint_forgetful 750.00
82000..MetaCat_struct_r_ord_left_adjoint_forgetful 750.00
a69df..MetaCat_struct_u_bij_left_adjoint_forgetful 750.00
123cf..MetaCat_struct_r_partialord_left_adjoint_forgetful 750.00
49304..MetaCat_struct_u_idem_left_adjoint_forgetful 750.00
538f6..MetaCat_struct_r_wellord_left_adjoint_forgetful 750.00
8822b..MetaCat_struct_u_inj_left_adjoint_forgetful 750.00
ed3d2..MetaCat_struct_u_left_adjoint_forgetful 750.00
57ed9..MetaCat_struct_p_nonempty_left_adjoint_forgetful 750.00
80d3d..MetaCat_struct_r_equivreln_left_adjoint_forgetful 750.00
c3ca2..MetaCat_struct_p_left_adjoint_forgetful 750.00
301a5..MetaCat_struct_r_left_adjoint_forgetful 750.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88