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
6cf6d..
Conj_SNo_eta__5__1
25.00
b9ae9..
Conj_add_SNo_ordinal_SR__4__0
25.00
47fc9..
Conj_eps_ordsucc_half_add__7__0
25.00
6cfb5..
Conj_add_SNo_minus_SNo_linv__9__5
25.00
34c67..
Conj_ctagged_eqE_Subq__1__1
25.00
3489a..
Conj_minus_SNo_Lev_lem1__12__1
25.00
d71fb..
Conj_PNo_strict_imv_pred_eq__6__3
25.00
90489..
2.00
90489..
1.00
181f2..
1.00
085db..
1.00
b7323..
1.00
eeafe..
1.00
d869b..
1.00
748bf..
0.01
53760..
0.01
a1ac9..
0.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88