Search for blocks/addresses/...

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
4bada.. 25.00
90805.. 25.00
e813a.. 25.00
12d7d.. 25.00
13211.. 25.00
59944.. 25.00
d72fb.. 25.00
4bb5c.. 25.00
9013d.. 25.00
3165c.. 25.00
1ed11.. 25.00
99807..conj_DiophantineMod_TMHX75k3mncdKg5XLAo542FzmLus4ASHzrs 25.00
67e67.. 25.00
fb5f8.. 25.00
28bf7.. 25.00
203b5.. 25.00
61438.. 25.00
b7dd5.. 25.00
81258.. 25.00
ecc9e.. 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88