Search for blocks/addresses/...

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
5914c..not_TwoRamseyProp_4_9_Power_4 500.00
fa29b..not_TwoRamseyProp_4_8_Power_4 500.00
not_TwoRamseyProp_4_8_Power_5not_TwoRamseyProp_4_8_Power_5 500.00
8b769..not_TwoRamseyProp_4_9_Power_3 500.00
eff2c..not_TwoRamseyProp_5_6_Power_3 500.00
not_TwoRamseyProp_5_7_Power_5not_TwoRamseyProp_5_7_Power_5 500.00
not_TwoRamseyProp_5_6_Power_5not_TwoRamseyProp_5_6_Power_5 500.00
a1968..not_TwoRamseyProp_4_7_Power_4 500.00
3ce96..not_TwoRamseyProp_6_6_Power_4 500.00
3de2e..not_TwoRamseyProp_6_6_Power_3 500.00
73405..not_TwoRamseyProp_5_7_Power_3 500.00
c0836..not_TwoRamseyProp_5_6_Power_4 500.00
cd2fd..not_TwoRamseyProp_5_5_Power_3 500.00
not_TwoRamseyProp_4_7_Power_5not_TwoRamseyProp_4_7_Power_5 500.00
f4df6..not_TwoRamseyProp_5_8_Power_4 500.00
41978..not_TwoRamseyProp_5_8_Power_3 500.00
form100_1_v1form100_1_v1 500.00
not_TwoRamseyProp_3_4_8not_TwoRamseyProp_3_4_8 500.00
09af7.. 500.00
form100_11_infinite_primesform100_11_infinite_primes 500.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88