Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMGzV..conj_DiophantineMod_TMGzV2zJSmwk8QzMvJjUBRkjUVAGJnxa4og 25.00
TMTJh..conj_HOUnif_TMTJhc12xjWMpEpJW1g8cePEcw7J5k6SMsL 25.00
TMMaB..conj_AbstrHF_TMMaBexEUkyeGx7xEFHiCNCfPP35G3QDsEw 25.00
TMYU2..conj_DiophantineMod_TMYU2pT8wepHSca7Kxw12RvgNm2MHeAFYRJ 25.00
TMJiw..conj_HOSetConstr_TMJiwSr1Tzzzt9wQSUXm7vMqUzeQcfopz25 25.00
TMaZX..conj_CombUnif_TMaZXB9nYq6awMfGExbNn8QEJom4SBjBwwS 25.00
TMJqB..conj_Random1_TMJqB1iZtcmcnmmj4zHkt6tvjHWaRRjgcAf 25.00
TMZnZ..conj_AbstrHF_TMZnZCzUMgG4kFDtduRLt4zUAsMedxNApEf 25.00
TMRWU..conj_HOUnif_TMRWUSdBUUDLjD7rqTUBCrPoMEXhaAf9rFf 25.00
TMNzz..conj_HOSetConstr_TMNzzLdRuUe3jFZ3Vf8ngPqhWAGvp8FVwQL 25.00
TMTNk..conj_AbstrHF_TMTNksrZ4UQGLJVUfBEgUxfkdcvZfxezJco 25.00
TMayB..conj_QBF_TMayBakyAWLWVmdsuFBGgBSf4NuBNNp7Cse 25.00
TMZFQ..conj_AbstrHF_TMZFQcusAgjv7fATw2dM7f92iPQWTD6VWe7 25.00
TMXmZ..conj_AbstrHF_TMXmZm59zjDXrEMtJS3XGSEtNAKc9CxiprQ 25.00
TMJET..conj_HOUnif_TMJETq4FHSVqe96PdJZyusiy9MmbPLahjXt 25.00
TMNgP..conj_AbstrHF_TMNgPFLP7cB5K45qu8SrmfRwmWmYUCR1Vmy 25.00
TMNVL..conj_HOUnif_TMNVLMKQ36MfPFGwS5xso1JUPBJJfb9xAZJ 25.00
TMZL4..conj_QBF_TMZL4LPCSsint8PUjHLVi8c5SdgyhY4miep 25.00
TMZ8V..conj_AbstrHF_TMZ8VVUuueeS1JWjsS5krtHKkeMozNoMrRB 25.00
TMTQM..conj_DiophantineMod_TMTQMGmJVX316BqmPspBRvZFXyENfzEtRzF 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