Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TMcvD..
Conj_mul_SNo_assoc_lem2__86__26
25.00
TMLqk..
Conj_mul_SNo_assoc_lem2__7__13
25.00
TMWDg..
Conj_mul_SNo_assoc_lem2__4__14
25.00
4b294..
Conj_SNoCut_Le__3__5
25.00
TMbXA..
Conj_SNo_approx_real__9__0
25.00
TMJms..
Conj_mul_SNo_Lt__10__5
25.00
5103b..
Conj_real_add_SNo__45__20
25.00
a558a..
Conj_SNoL_1__1__0
25.00
TMKNX..
Conj_mul_SNo_assoc_lem2__36__5
25.00
TMMaH..
Conj_real_mul_SNo_pos__45__5
25.00
TMNaP..
Conj_mul_SNo_distrR__81__9
25.00
TMZpN..
Conj_mul_SNo_prop_1__52__12
25.00
TMMrs..
Conj_mul_SNo_assoc__9__0
25.00
TMKjp..
Conj_mul_SNo_prop_1__8__5
25.00
TMHqe..
Conj_mul_SNo_assoc_lem1__4__8
25.00
6cf6d..
Conj_SNo_eta__5__1
25.00
TMUyu..
Conj_mul_SNo_distrR__47__17
25.00
TMPXP..
Conj_mul_SNo_prop_1__33__2
25.00
TMFaK..
Conj_mul_SNo_prop_1__86__11
25.00
TMKCe..
Conj_mul_SNo_SNoR_interpolate__3__8
25.00
More recent placed
Recently collected bounties
760b6..
MetaCat_struct_b_abelian_group_product_constr
100.00
05bdf..
MetaCat_struct_b_group_product_constr
100.00
183c5..
MetaCat_struct_b_semigroup_product_constr
100.00
64746..
MetaCat_struct_b_monoid_product_constr
100.00
9347c..
MetaCat_struct_b_semigroup_equalizer_constr
125.00
994bf..
MetaCat_struct_b_abelian_group_equalizer_constr
125.00
e6d9e..
MetaCat_struct_b_group_equalizer_constr
125.00
61ba2..
MetaCat_struct_b_semigroup_pullback_constr
250.00
42863..
MetaCat_struct_b_group_pullback_constr
250.00
e443a..
MetaCat_struct_b_abelian_group_pullback_constr
250.00
a69df..
MetaCat_struct_u_bij_left_adjoint_forgetful
750.00
34c67..
Conj_ctagged_eqE_Subq__1__1
25.00
6cfb5..
Conj_add_SNo_minus_SNo_linv__9__5
25.00
47fc9..
Conj_eps_ordsucc_half_add__7__0
25.00
6cf6d..
Conj_SNo_eta__5__1
25.00
a558a..
Conj_SNoL_1__1__0
25.00
5103b..
Conj_real_add_SNo__45__20
25.00
09057..
Conj_real_mul_SNo_pos__14__9
25.00
3aec6..
Conj_SNo_approx_real_rep__1__1
25.00
dd834..
Conj_ordinal_SNoR__1__0
25.00
More recent collected