Proofgold bounties

Description of bounties

Open bounties

TMGtV..^{MetaCat_struct_b_b_e_e_cring_coequalizer_constr} 125.00
TMct8..^{MetaCat_struct_b_b_e_e_ring_equalizer_constr} 125.00
TMdH5..^{MetaCat_struct_b_b_e_e_field_equalizer_constr} 125.00
TMUL7..^{MetaCat_struct_b_b_e_crng_equalizer_constr} 125.00
TMHDR..^{MetaCat_struct_b_b_e_e_coequalizer_constr} 125.00
TMPt2..^{MetaCat_struct_b_b_e_rng_coequalizer_constr} 125.00
TMHnx..^{MetaCat_struct_b_b_e_equalizer_constr} 125.00
TMSfc..^{MetaCat_struct_c_Hausdorff_topology_coequalizer_constr} 125.00
TMHyG..^{MetaCat_struct_b_b_e_coequalizer_constr} 125.00
TMF9M..^{MetaCat_struct_c_topology_equalizer_constr} 125.00
TMGuc..^{MetaCat_struct_c_topology_coequalizer_constr} 125.00
TMVA7..^{MetaCat_struct_b_group_coequalizer_constr} 125.00
TMRbL..^{MetaCat_struct_c_coequalizer_constr} 125.00
TMZJf..^{MetaCat_struct_b_loop_coequalizer_constr} 125.00
TMSm8..^{MetaCat_struct_b_b_e_e_semiring_equalizer_constr} 125.00
TMEkX..^{MetaCat_struct_c_T1_topology_equalizer_constr} 125.00
TMZWq..^{MetaCat_struct_c_equalizer_constr} 125.00
TMNqF..^{MetaCat_struct_c_Hausdorff_topology_equalizer_constr} 125.00
TMVYz..^{MetaCat_struct_b_abelian_group_coequalizer_constr} 125.00
TMKL8..^{MetaCat_struct_c_T1_topology_coequalizer_constr} 125.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