Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TMKMj..
Conj_mul_SNo_prop_1__23__4
25.00
687fa..
Conj_minus_SNo_invol__8__0
25.00
TMNmB..
Conj_mul_SNo_Lt__44__18
25.00
TMYAE..
Conj_mul_SNo_distrR__76__12
25.00
TMVzG..
Conj_mul_SNo_distrR__121__3
25.00
TMUkH..
Conj_mul_SNo_assoc_lem1__52__10
25.00
9e6ca..
Conj_SNoS_omega_diadic_rational_p_lem__10__12
25.00
TMYJy..
Conj_mul_SNo_distrR__97__18
25.00
TMFXY..
Conj_SNoS_omega_Lev_equip__17__14
25.00
TMPXw..
Conj_mul_SNo_assoc_lem1__12__16
25.00
TMQQU..
Conj_mul_SNo_assoc_lem1__10__16
25.00
TMN5i..
Conj_mul_SNo_assoc_lem1__28__7
25.00
TMYFj..
Conj_add_SNo_ordinal_SL__7__3
25.00
TMKoa..
Conj_mul_SNo_eps_eps_add_SNo__5__0
25.00
TMNgx..
Conj_SNoS_ordsucc_omega_bdd_above__4__0
25.00
TMWXE..
Conj_mul_SNo_Lt__49__20
25.00
TMdzK..
Conj_mul_SNo_prop_1__96__3
25.00
TMLrg..
Conj_real_mul_SNo_pos__87__14
25.00
TMLhV..
Conj_mul_SNo_eq_3__15__4
25.00
TMN9n..
Conj_mul_SNo_assoc_lem2__97__24
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