Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMahD..
conj_Diophantine_TMahDraNCMPNMTpyPPRcCZTcBeKUMQWNtVq
25.00
TMGgC..
conj_HOUnif_TMGgCNAFZevpxH9NZjiM3e9DuL5jocPWKM8
25.00
TMKmD..
conj_HOSetConstr_TMKmD6gTQTBvmYaD4WiJBkmDrzH7DjRDYen
25.00
TMUZR..
conj_CombUnif_TMUZRrkoyjQyxTdcHy56b7vB9dm7sarNFPo
25.00
TMHwi..
conj_AbstrHF_TMHwigqTtqrB46A8o7iqe4BSBeDbuzY7c8Z
25.00
TMLxY..
conj_DiophantineMod_TMLxYksMVBo1KkrDkmBVwLcpfrBoFK6HVTd
25.00
TMcRZ..
conj_Diophantine_TMcRZUbjZBtebhyhf5dRoYVF52iD6HVARrV
25.00
TMHh1..
conj_Diophantine_TMHh1aNerGwQdBCoUA4RePbeH8mDFu3rT96
25.00
TMZY6..
conj_QBF_TMZY6V9hML8sw7T6PDrKkVcD7M8CCHUFZkN
25.00
TMXo5..
conj_DiophantineMod_TMXo5QP1T1H8b4Z52TfSTWCUVb8aSxhjfof
25.00
TMQNK..
conj_AbstrHF_TMQNKA7G5mfEqmAzZEUVSsxcagnaPsmvBuF
25.00
TMWaH..
conj_AbstrHF_TMWaHeCVmk1eyaLwfCyrYNV1kERS5dvA9xa
25.00
TMWQb..
conj_DiophantineMod_TMWQbyV16R4vEBebzrUP5DwxRfaMRY4qqoo
25.00
TMKYL..
conj_CombUnif_TMKYLYJ5Kok2xvBRKR5J2d5j5YZUjtYGFCZ
25.00
TMYZF..
conj_Diophantine_TMYZFHjqe3fq2PC9k3wyFhVxEkVPf4QuCW5
25.00
TMa5Q..
conj_Diophantine_TMa5QN84LY6dLzuijpzGra68Ew7DFKTUGKi
25.00
TMGvk..
conj_CombUnif_TMGvk436hJd4iUEafss9Vvm6FFGm7U3rpzL
25.00
TMZBD..
conj_DiophantineMod_TMZBDJvnQjRny5fapMJa9njDvefLP2vXkH7
25.00
TMZxj..
conj_HOUnif_TMZxje8ne3CfE6BX3K1SjhcAVoXbDEzTY9b
25.00
TMJqe..
conj_DiophantineMod_TMJqeEpYXX5pFRoucFTGZEgL7N7KHrriVrP
25.00
More open bounties
Collected bounties
5de9f..
MetaCat_struct_r_per_coproduct_constr
100.00
e28a3..
MetaCat_struct_r_ord_product_constr
100.00
6ce53..
MetaCat_struct_u_bij_product_constr
100.00
a9079..
MetaCat_struct_u_product_constr
100.00
501bf..
MetaCat_struct_u_inj_product_constr
100.00
45658..
MetaCat_struct_p_nonempty_product_constr
100.00
4f9ac..
MetaCat_struct_p_product_constr
100.00
09ba2..
MetaCat_struct_p_coproduct_constr
100.00
0e807..
MetaCat_struct_p_nonempty_coproduct_constr
100.00
4d1df..
MetaCat_struct_r_equivreln_product_constr
100.00
150e3..
MetaCat_struct_b_product_constr
100.00
ec184..
MetaCat_struct_r_equivreln_coproduct_constr
100.00
71d59..
MetaCat_struct_r_wellord_product_constr
100.00
cfccf..
26.00
768b0..
conj_AIM1_TMcuUKx4SdMiKwVEy1WB9tCEQewC8FxRGAg
26.00
cf2b6..
conj_AIM2_TMXardi9CRDaqSejfaR5u7vR4AjS81KWJH3
26.00
ebd2f..
conj_AIM2_TMTbwVQp318gAGAJCrUiPdnsqjWJWJuxG6q
26.00
24d41..
conj_AIM2_TMQXVsrJp8BRNdWLZF3zqbT9NNF6kWGSAd8
26.00
9886b..
conj_AIM2_TMcV19AHzjnh7ebvpXjipoWQ4auLn4LmczZ
26.00
8e009..
conj_AIM1_TMcGK7aNaxGsF6e9fugVsG1AXBAVzQ22mud
26.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88