Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMakD..
conj_QBF_TMakDrbEaJGfDKLMyRQVQ74xgSGnqoq1gYN
25.00
TMVkr..
conj_AbstrHF_TMVkrtooqLgBjcD6F6VR2aGvvTZ7Hqbp9sz
25.00
TMN8n..
conj_QBF_TMN8nReVRWcoSt13aWVcogkiSA4EppzYxxE
25.00
TMVoq..
conj_AbstrHF_TMVoqWDLkQgLfQiMMPgXq24EmYVg6q3tZYm
25.00
TMMQq..
conj_AbstrHF_TMMQqQ7R7L7tZXp25J46JG25inwjzWQYSbM
25.00
TMPiB..
conj_DiophantineMod_TMPiB3nrdYzhK5E6zCVj5M1KRDFodaNMhhU
25.00
TMZDa..
conj_DiophantineMod_TMZDaahiG1qD5TaHVJ6ymUbF91JAqrMuRwH
25.00
TMa5X..
conj_QBF_TMa5XRrXJtrRVXMnb2StpY2MtNA63SW3xcQ
25.00
TMV4W..
conj_DiophantineMod_TMV4WEQpYAW5ZCyNAwgq6DVdM5NxvceGj11
25.00
TMViT..
conj_DiophantineMod_TMViTewzEv6dbWu3WJSiiSRM3KJygbN8uDU
25.00
TMJtL..
conj_HOSetConstr_TMJtLMyeoBzKGnEggTBmyrT9n26SHgV2rwB
25.00
TMVFH..
conj_DiophantineMod_TMVFHsgnvPxjF9QXZdLutt4DwZXrYXD2Beq
25.00
TMUoK..
conj_AbstrHF_TMUoK1U79Wk2yw16EqaXLVE4TZdEZK2RYV3
25.00
TMLnj..
conj_DiophantineMod_TMLnjv3RtNyaEcTSdhTsQkEq2dJcJzsWgU9
25.00
TMbYh..
conj_Random1_TMbYhqVfLkEJK36z7kmbrVppsmkprngBiAs
25.00
TMVTK..
conj_HOSetConstr_TMVTKFLMLT8HT4eGEyVGU8RKWoF32BKSf1F
25.00
TMN9o..
conj_DiophantineMod_TMN9oUCx3Lphx3qSr3PBRcnRW8gvNxoeyoG
25.00
TMTrK..
conj_HOUnif_TMTrKCT4z8LSGCkNDsDkgfM4ciMpYpPZD9u
25.00
TMHzR..
conj_DiophantineMod_TMHzRLXHwZ9m25QdchjDf23neCZEScLCQej
25.00
TMVvs..
conj_AbstrHF_TMVvsHcDnyT6xXm8j9mfKJNEc3QUM7ZN853
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