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
f2e22.. 280.00
ea166.. 280.00
df037.. 280.00
dc232.. 280.00
fc5eb.. 280.00
09243.. 280.00
4cea3.. 280.00
b2d8d.. 280.00
4d1b3.. 280.00
73cf8.. 280.00
bec91.. 280.00
268bf.. 280.00
4af6e.. 280.00
d0390.. 280.00
d9f0a.. 280.00
c10c0.. 280.00
7a175.. 280.00
b1641.. 280.00
53414.. 280.00
274ae.. 280.00

More closed bounties

Open sum
304,239.66
Collected sum
209,544.88