Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
61cb0..
conj_AIM2_TMJiuvCHm3kh6GABzTrv8N2Kwv2xJx6gE5P
26.00
d9965..
conj_AIM2_TMMyyQvgfAf2e967TFV2eTZCpRhmhDKMeaT
26.00
fcaab..
conj_AIM2_TMchYmh1883VNFovbpZVREWnG5om9rPTUhz
26.00
30445..
conj_AIM1_TMRMWEpTvNU1rF9utNghhFbMNJjLJgTRZSZ
26.00
3fbae..
conj_AIM2_TMWJye4cGrGT7fd6rUpie7Qn6eHQUkWPZPH
26.00
f58a2..
conj_AIM2_TMM11qnAZK5XGa28esDUJsTE8JbmQeucg6r
26.00
7b568..
conj_AIM1_TMNqQ2n6fcqSV5yUZyD2inXtprjHbjwF74b
26.00
4b65f..
conj_AIM2_TMUopcBekmNJ94mTXA2NrxWh9cb3vDPjsSs
26.00
b0931..
conj_AIM1_TMJnNgvbTuzpo6x5wUVPzDY2xExpaQDnHg4
26.00
ef730..
conj_AIM1_TMGNeBVZqFGqhPu67FhWcZAESqCXdiGzztk
26.00
959e3..
conj_AIM1_TMJsMw34A5Q9wA2t5B9M2kwm2ecXNBDBZa1
26.00
5fbc2..
conj_AIM1_TMPTrZ1AQXWk9kbsYiXKwNGimZZ3HvWKoZS
26.00
bb8f4..
conj_AIM1_TMKJ6wLVt2FhCdsmw3iCqrDv47PUArHpQYS
26.00
39d65..
conj_AIM1_TMTKq6CA4RNZ4X2LfCY6RhsQj7R2M4NZktk
26.00
b47aa..
conj_AIM2_TMRiW4LAMaMHYrJBvSY37xQcC2ASg3A1dzv
26.00
78ca9..
conj_AIM1_TMLb6ii3ijyrZG3ZQ3HzQZJVmNYMmg2WFGy
26.00
55b14..
conj_AIM2_TMUEkM1NMCji6JmaUU8SScLswo1cnwMMafR
26.00
364a2..
conj_AIM1_TMYS15zADM2XyGfk5oT4jAZKgJD3PyCsSPZ
26.00
acc51..
conj_AIM2_TMdrFQ4Sz2LG8kiB185ZZQVayygFq6UGi9M
26.00
fc5ff..
conj_AIM2_TMJVXKk1PP26qdLus83R78RkF2PdvmuwoXz
26.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
304,239.66
Collected sum
209,544.88