Proofgold bounties

Description of bounties

Open bounties

TMLKA..^{MetaCat_struct_p_coequalizer_constr} 125.00
TMac4..^{MetaCat_struct_u_coequalizer_constr} 125.00
TMHqq..^{MetaCat_struct_r_equivreln_coequalizer_constr} 125.00
TMaV5..^{MetaCatSet_monic_inj_gen} 125.00
1e5e4..^{TwoRamseyProp_4_6_Power_6} 100.00
181da..^{not_TwoRamseyProp_5_5_Power_5} 100.00
d2d4c..^{MetaCat_struct_b_b_r_e_e_ordered_field_coproduct_constr} 100.00
86327..^{MetaCat_struct_b_b_r_e_e_product_constr} 100.00
80dff..^{MetaCat_struct_b_b_e_e_field_product_constr} 100.00
b53aa..^{MetaCat_struct_b_b_e_e_ring_product_constr} 100.00
e4133..^{MetaCat_struct_b_b_r_e_e_coproduct_constr} 100.00
79bf3..^{MetaCat_struct_b_b_r_e_e_ordered_field_product_constr} 100.00
82d73..^{MetaCat_struct_b_b_e_e_cring_product_constr} 100.00
4e49d..^{MetaCat_struct_b_b_e_e_ring_coproduct_constr} 100.00
ad01d..^{MetaCat_struct_b_b_e_e_field_coproduct_constr} 100.00
c63e1..^{MetaCat_struct_b_b_e_e_cring_coproduct_constr} 100.00
121ce..^{MetaCat_struct_b_b_e_coproduct_constr} 100.00
56fbd..^{MetaCat_struct_b_b_e_e_semiring_product_constr} 100.00
5d66b..^{MetaCat_struct_b_b_e_crng_coproduct_constr} 100.00
25625..^{MetaCat_struct_b_b_e_crng_product_constr} 100.00

More open bounties

Collected bounties

a6740..^{conj_AIM2_TMQM1pJKTKVKbVLv2CyYbU8GDHgLN2AbqBH} 26.00
2128f..^{conj_AIM2_TMF4KfN16J7B5MBkPKXYuRSpt3ZgKpJtkmS} 26.00
2f2bf..^{conj_AIM1_TMRU7McD3ZGUS4sEnKxSh3mgvu3Mu9Fj6G5} 26.00
0e503..^{conj_AIM2_TMFu6DQ9ij4NxoVzP9SLezq3T9sTB5pG5UY} 26.00
c366e..^{conj_AIM2_TMRDZChdSRcAb6Wotw6kh9sT4UNds8ik68k} 26.00
0c848..^{conj_AIM2_TMQgDZiM8ULkqd8Bwv3JXdgFZ8k8uWV18gE} 26.00
be6d9..^{conj_AIM2_TMdZA4hbDE2pv1iqqN2nzR5RsDHUyFhvVye} 26.00
0dee4..^{conj_AIM1_TMdKiLfnqC9cdriERnciJYgpPESEKbax5fY} 26.00
ee3db.. 26.00
37460.. 26.00
227b8..^{conj_AIM2_TMTNPYvq8zxtdHXDW5kyezZ5CViHG86N1Gn} 26.00
2214e.. 26.00
b87d3..^{conj_AIM2_TMKPEK8sagDBfDnGUZUFMASicrZ2SSxKwgU} 26.00
775e8.. 26.00
25d82.. 26.00
a1b14.. 26.00
165d8.. 26.00
14340..^{conj_AIM1_TMNS2Jj1TJWVh6Rp3EJq9a7jgmTb5YRN1TS} 26.00
7d4e0..^{conj_AIM2_TMY6yHLiaSyaEX57aZXjWk3UtwzRp5xvRVq} 26.00
a731d..^{conj_AIM1_TMUvBmKoZMvaitYD83FpxL4Yx9tTmrFCn4c} 26.00

More closed bounties

Open sum
304,239.66

Collected sum
209,544.88