Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMHZ9..FermatsLastTheorem 5,000.00
cc749..TwoRamseyProp_4_5_25 800.00
7c52e..MetaCat_struct_b_b_r_e_e_ordered_field_left_adjoint_forgetful 750.00
e16e0..MetaCat_struct_b_b_e_e_ring_left_adjoint_forgetful 750.00
771a0..MetaCat_struct_b_b_r_e_e_left_adjoint_forgetful 750.00
c7343..MetaCat_struct_b_b_e_e_cring_left_adjoint_forgetful 750.00
ea9f0..MetaCat_struct_b_b_e_crng_left_adjoint_forgetful 750.00
a33bd..MetaCat_struct_b_b_e_e_left_adjoint_forgetful 750.00
08a75..MetaCat_struct_b_b_e_rng_left_adjoint_forgetful 750.00
39e48..MetaCat_struct_b_loop_left_adjoint_forgetful 750.00
3295d..MetaCat_struct_b_abelian_group_left_adjoint_forgetful 750.00
0887e..MetaCat_struct_b_semigroup_left_adjoint_forgetful 750.00
b66fd..MetaCat_struct_c_Hausdorff_topology_left_adjoint_forgetful 750.00
63ebf..MetaCat_struct_b_quasigroup_left_adjoint_forgetful 750.00
5f551..MetaCat_struct_b_b_e_left_adjoint_forgetful 750.00
59fb4..MetaCat_struct_c_topology_left_adjoint_forgetful 750.00
29f18..MetaCat_struct_b_b_e_e_semiring_left_adjoint_forgetful 750.00
1ef6e..MetaCat_struct_b_b_e_e_field_left_adjoint_forgetful 750.00
2570d..MetaCat_struct_b_group_left_adjoint_forgetful 750.00
ed079..MetaCat_struct_c_T1_topology_left_adjoint_forgetful 750.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
308,364.07
Collected sum
209,545.88