Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
65da8..MetaCat_struct_b_b_e_e_field_product_exponent 250.00
TMaSf..MetaCat_struct_b_b_e_e_field_subobject_classifier 250.00
TMQA1..MetaCat_struct_b_b_r_e_e_subobject_classifier 250.00
3fbc7..MetaCat_struct_b_b_e_e_ring_nno 250.00
67a9f..MetaCat_struct_b_b_e_e_cring_product_exponent 250.00
TMJTE..MetaCat_struct_b_b_e_e_ring_pullback_constr 250.00
TMZK7..MetaCat_struct_b_b_e_e_ring_subobject_classifier 250.00
TMH9P..MetaCat_struct_b_b_e_e_cring_pullback_constr 250.00
a4533..MetaCat_struct_b_b_r_e_e_product_exponent 250.00
TMbrr..MetaCat_struct_b_b_r_e_e_ordered_field_subobject_classifier 250.00
TMTFx..MetaCat_struct_b_b_e_e_semiring_subobject_classifier 250.00
TMPuc..MetaCat_struct_b_b_e_crng_pushout_constr 250.00
TMWUu..MetaCat_struct_b_b_e_crng_pullback_constr 250.00
TMb7Q..MetaCat_struct_b_b_e_crng_subobject_classifier 250.00
da9ac..MetaCat_struct_b_b_e_crng_product_exponent 250.00
TMKkp..MetaCat_struct_b_b_e_rng_pullback_constr 250.00
6a014..MetaCat_struct_b_b_e_rng_product_exponent 250.00
TMGSM..MetaCat_struct_b_b_e_e_semiring_pullback_constr 250.00
TMWKu..MetaCat_struct_b_b_e_e_subobject_classifier 250.00
ce6a2..MetaCat_struct_b_b_e_product_exponent 250.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