Proofgold bounties

Description of bounties

Open bounties

3834c..^{conj_AIM1_TMGPRJN8NCmYcXkst6xDVUyxNGKdyqkmebZ} 26.00
b8ddf..^{conj_AIM1_TMUKYQ77P57uJXAkFmWYKV6XvFZSdktosTS} 26.00
48d46..^{conj_AIM1_TMdDW32SgSq4zQf4LbXNfAwP44CffADqg3X} 26.00
c2bab..^{conj_AIM2_TMdSRe1DJ1L3LA8dc4vDvGoVxP5zFBiy1cU} 26.00
c6df3..^{conj_AIM1_TMK4r6hsrbq2MhPH12nbS9FeCPXgAzpDNii} 26.00
29298..^{conj_AIM1_TMPvZNTee6jHBkm5QMdM62scrUNx3xQ9z5y} 26.00
91096..^{conj_AIM2_TMTxTrswNTHbGXfonKHi99ue7MbyDF9d38H} 26.00
32acd..^{conj_AIM2_TMFmfdgQjtn2FmNy3U8nAeDHDxvG6ozxt6r} 26.00
35404..^{conj_AIM2_TMZuMe6VVs7bEyGyJXGFjH3W6RqZ7qcsF1u} 26.00
87059..^{conj_AIM2_TMS1bhnGJ1DRicgd1DEhMJp719tuNqvphhd} 26.00
270d2..^{conj_AIM1_TMYsWo1ahYxiYDkioJjdB3gEhK4yA1gE5hH} 26.00
25057..^{conj_AIM2_TMaMuy5TThhK1cyJKcdtaUQ6qijxiXqJwn9} 26.00
a3072..^{conj_AIM1_TMbqJgWwco3BL6mwCsCq3MPiSJFET9Hacoa} 26.00
dd660..^{conj_AIM2_TMbhQTE6X3CzJddxLzAWktrfaMWkj2xY9YP} 26.00
a2b65..^{conj_AIM2_TMUXP2e5sQjDjFVUhbNrhMfKaZuaCZJaTyD} 26.00
d6625..^{conj_AIM2_TMXQRuKv1pbu9J9F9vWM24QP6kkFPvQ5Sfi} 26.00
9330d..^{conj_AIM2_TMMruwiaCwrZq7P26FzYHyfcLbv3h3Yt8xp} 26.00
f72f4..^{conj_AIM1_TMTVQEZQUWCfWBBfhjammdxvG3gcd1g6hLU} 26.00
215b2..^{conj_AIM2_TMYYVaApMFTooZ9eGuzCUefqT6WfZTegDrF} 26.00
02182..^{conj_AIM2_TMNkGWgmUkJbjx1F48DujGJekvhvRPsTor1} 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
308,364.07

Collected sum
209,545.88