Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMYzb..
200.00
TMdZx..
200.00
TMJKr..
200.00
TMV3d..
200.00
TMJAN..
200.00
TMTHz..
200.00
TMM6a..
200.00
TMHsU..
200.00
TMMCh..
200.00
TMaWc..
200.00
TMRaU..
200.00
TMJzR..
200.00
TMRZF..
200.00
TMSSt..
200.00
TMU92..
FermatsLastTheorem3
130.00
42fc4..
aK1
130.00
eac1e..
aa1
130.00
975e1..
com__aa1
130.00
79b0e..
middle_Bol__aa1
130.00
edea9..
KK_Kcom__aa1
130.00
More open bounties
Collected bounties
592be..
MetaCat_struct_p_product_exponent
250.00
1f2a9..
MetaFunctor_struct_e_struct_p_nonempty
250.00
a53be..
MetaCatSet_pullback_gen
250.00
25c26..
MetaCatSet_subobject_classifier
250.00
833b6..
MetaCatSmallSet_nno
250.00
d6d09..
MetaCat_struct_r_wellord_nno
250.00
15618..
MetaCatSet_pushout
250.00
3aa34..
MetaCat_struct_r_graph_subobject_classifier
250.00
12c76..
MetaCat_struct_u_nno
250.00
e5b47..
MetaCatSet_subobject_classifier_gen_ex
250.00
bfc42..
MetaCatHFSet_pushout
250.00
dcba1..
MetaCat_struct_p_nno
250.00
1051b..
MetaCatSet_nno_gen_ex
250.00
e6d9e..
MetaCat_struct_b_group_equalizer_constr
125.00
994bf..
MetaCat_struct_b_abelian_group_equalizer_constr
125.00
f1b36..
MetaCat_struct_b_loop_equalizer_constr
125.00
1451d..
MetaCat_struct_b_monoid_equalizer_constr
125.00
9347c..
MetaCat_struct_b_semigroup_equalizer_constr
125.00
b8635..
MetaCat_struct_b_quasigroup_equalizer_constr
125.00
1d8ba..
MetaCat_struct_r_equalizer_constr
125.00
More closed bounties
Open sum
304,239.66
Collected sum
209,544.88