Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMQ8Y..
conj_AbstrHF_TMQ8YMpcc6otJGo5ig6eZztM1raUxB1VZd7
25.00
TMREi..
conj_Diophantine_TMREiahnH3bYL6WS2rfsqaFDZRkd6N2C2pR
25.00
TMUtN..
conj_CombUnif_TMUtNaFAFPEjt9H7ck9oZsPAxRuDftJW1C1
25.00
TMJzf..
conj_HOUnif_TMJzf7N1RoNQEQBybrny5WCaow5kU4BpUGw
25.00
TMZi7..
conj_QBF_TMZi7mcPtvMoPPfjnE5MVYgGiYyg7Qpo7Tu
25.00
TMdoK..
conj_Random1_TMdoKBqRnr4o7BYZoP6j6d4JPMkydEKKA3F
25.00
TMUjE..
conj_AbstrHF_TMUjENah9uQtGHEC8SehurKemd3pcXDxNmo
25.00
TMV1d..
conj_AbstrHF_TMV1dJsWuxDRQx7yhnNq4shrepxnCm5Mfqw
25.00
TMLRt..
conj_Diophantine_TMLRtg6iT96BHMVDVRUwwHLN9pJsbs8vuq8
25.00
TMQEe..
conj_Random1_TMQEe9FjmdtA77CJm8oxVjytEWYiCJos42z
25.00
TMEsw..
conj_AbstrHF_TMEswXexHDuzYejc2UdX6zDb8tDKopGLZWh
25.00
TMbvY..
conj_Diophantine_TMbvYQ3ibNqfBPY4o2xwS5Efj4w3QKyaDEy
25.00
TMQt3..
conj_Diophantine_TMQt3QU6tnKTAKx1WbmE4cujszi5eNbwTam
25.00
TMLqH..
conj_Diophantine_TMLqH434RttPg892JP9X2uAkPg9o1ZijW3N
25.00
TMPjX..
conj_AbstrHF_TMPjX7hFaPjbcqznm5PuccMDMpyvDBCSQ2z
25.00
TMWSV..
conj_Diophantine_TMWSVeLeoWAYwByE75YXv9Hzj4UCAfBAU2Q
25.00
TMU2V..
conj_Diophantine_TMU2VtJ5rvzeCQ9cdUypTZSYGeLm9Dj9Btz
25.00
TMWxm..
conj_CombUnif_TMWxmS5YNamHYfetXsEyGe8Fotr3jzkw89R
25.00
TMGZC..
conj_DiophantineMod_TMGZCdQYag9B4xZ2g5dxNnN8UVGURbT2m7g
25.00
TMS6V..
conj_CombUnif_TMS6V89Z4BVNbFaibAcpuMGG6pbcBerBebn
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