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

8d752..^{MetaCat_struct_u_idem_nno} 250.00
e5c69..^{MetaCat_struct_r_ord_pushout_constr} 250.00
6bf66..^{MetaCat_struct_r_partialord_nno} 250.00
ee3b3..^{MetaCat_struct_r_wellord_pullback_constr} 250.00
d4e5c..^{MetaCat_struct_r_wellord_pushout_constr} 250.00
95edd..^{MetaCat_struct_r_ord_pullback_constr} 250.00
e7f7d..^{MetaCat_struct_r_equivreln_pullback_constr} 250.00
9460d..^{MetaCat_struct_r_wellord_product_exponent} 250.00
d1a34..^{MetaCat_struct_r_partialord_pullback_constr} 250.00
d432e..^{MetaCat_struct_r_ord_product_exponent} 250.00
7f417..^{MetaCat_struct_r_product_exponent} 250.00
7d132..^{MetaCat_struct_r_per_nno} 250.00
97ee8..^{MetaCat_struct_r_per_product_exponent} 250.00
1a527..^{MetaCat_struct_r_ord_nno} 250.00
b3083..^{MetaCatSmallSet_pushout} 250.00
0e563..^{MetaCatSet_nno} 250.00
8ba3f..^{MetaCat_struct_p_pullback_constr} 250.00
1810c..^{MetaCatSet_product_exponent} 250.00
32b3d..^{MetaCatSet_product_exponent_gen} 250.00
e25fa..^{MetaCat_struct_p_nonempty_product_exponent} 250.00

More closed bounties

Open sum
304,239.66

Collected sum
209,544.88