Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMbgQ..conj_HOUnif_TMbgQMUJNiXZcdxaq3THcuzrk6ZyPK1yPhj 25.00
TMRzv..conj_HOSetConstr_TMRzvTcwxhHB3DcLM6CpazDFuxHQGPtTQZS 25.00
TMKUM..conj_DiophantineMod_TMKUM3SSinaexB8zxLALx3WBocoVEMgUgo9 25.00
TMRxQ..conj_DiophantineMod_TMRxQkhgJvns73fNKKbE7oPzrWy5MffSKPE 25.00
TMKP8..conj_AbstrHF_TMKP86HcRz4wtfehatsAefqKKZ8ow8aN51i 25.00
TMNYi..conj_DiophantineMod_TMNYi29QdyGMMUsrKmd9RnccXt8hk5grtfV 25.00
TMaCm..conj_CombUnif_TMaCmJeV1rdqaXPPdkjqmduvcFvqHZSzxdc 25.00
TMWiS..conj_HOSetConstr_TMWiSw8Hg274twYeAL5Y58H1Nkz3xjXh47P 25.00
TMYfQ..conj_DiophantineMod_TMYfQ23we45FPZvSPLpEjKKTobzy3Rq5m13 25.00
TMFuq..conj_HOSetConstr_TMFuqcGLgxqthvXpWSbJeDA6HWgQaDeHPeE 25.00
TMMvn..conj_QBF_TMMvnFYZsnqQtgvoQcThWBngFwKM89uu9sC 25.00
TMbjd..conj_Random2_TMbjdyUd4XPz6quxcA8NYxHn5Vbf4YN53rf 25.00
TMX37..conj_AbstrHF_TMX372QVrGnDYc5RjsCV9CLyUfNMbpoH3ZM 25.00
TMbKP..conj_CombUnif_TMbKPAiXKGi5DDn7VnsyAsAjBNUVyn31Bex 25.00
TMaT9..conj_DiophantineMod_TMaT9GWZ6fj2pzcgvozd7XsX1ViEXAFHPHq 25.00
TMbkP..conj_QBF_TMbkPCEgmbwquHqLA3gJFr3Rwnimcq5awy3 25.00
TMQiD..conj_Random1_TMQiDXhTCVnrSXBHVmekCdagS2svJjizXE2 25.00
TMEvZ..conj_AbstrHF_TMEvZj36cBfJ5nedBh2bGhho7YY6u6UJN4m 25.00
TMYg8..conj_HOSetConstr_TMYg8GK7WWnZozK3iERsUWU1QAPCfseUvWY 25.00
TMN63..conj_AbstrHF_TMN63N9t6eihgUvvCxQYzAmABkjHpKAy3sZ 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