Proofgold bounties

Description of bounties

Open bounties

a62c3..^{conj_AIM2_TMb5LZNSs8ava5M1ZiwhaJBmLb6kqY36o3g} 26.00
88a07..^{conj_AIM2_TMMVxNZ9pmkeezA23xLt6ZLEHuLoaHZnnv2} 26.00
199bf..^{conj_AIM2_TMW1WEXhToe94gYNdrqrQDMHovoRmSsguTY} 26.00
038b6..^{conj_AIM2_TMHC4t5okNhYnhBqUquRBc2DN7YhCJN5aLF} 26.00
6b258..^{conj_AIM1_TMWp5t5G4YjTBGnpeG8vExcjgkm89X6hPAr} 26.00
0bfab..^{conj_AIM1_TMY7bQhGKbye4wssggg1yk6jGitbtfBQcvN} 26.00
65ae6..^{conj_AIM1_TMHtrSRtQcS4qs3DrhVfhg2WU78EqtWBNcr} 26.00
496a6..^{conj_AIM1_TMaMZHWSc1skwuYMRJnWw3RtmWVFmMYpWpd} 26.00
97753..^{conj_AIM1_TMag2hy5iGS7oRVQUMKJm4EfR1dYLV53Mr2} 26.00
62b32..^{conj_AIM1_TMRkAUuwEbFGdSQn73UQdgbnEHYdXqszXfJ} 26.00
13db5..^{conj_AIM1_TMHuY58bnR4TTvFFRBFLTGbf7GAzRciAato} 26.00
9208c..^{conj_AIM2_TMKDEE1Qp64HA2UMJKZoWHaGboGUQu2YXHo} 26.00
fe66c..^{conj_AIM2_TMJPHaAvsNXv6QcbkXiUJHmhmuiAoh8Qb2D} 26.00
e204a..^{conj_AIM1_TMQjLtYsEiAHagfrpXGKsN9sSrk7ZctKFus} 26.00
1d303..^{conj_AIM2_TMTjDhFT1MkREvQBbYQfemWs1WWSzUzf1LK} 26.00
4a38e..^{conj_AIM1_TMUQ5c9m1YiLn4D4KSUz3yaXbG785r7jGwp} 26.00
a6565..^{conj_AIM1_TMTE39m8yEbEP3V9kW5nULTdr4bdx3rrEyF} 26.00
92b8b..^{conj_AIM2_TMZjySg2nj9QrxQ72cbu6PDivLz7yrPz8Vq} 26.00
e9f48..^{conj_AIM1_TMcbqZwdw2PmraUyXUxkkz76ZsKouio55Dc} 26.00
62cc8..^{conj_AIM1_TMFtmhLhoRKXWPBnzGMarrxP6rDgRkBW8oD} 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