Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TMcKd..
Conj_real_add_SNo__8__6
25.00
TMFuq..
Conj_SNoS_omega_Lev_equip__18__3
25.00
TMRjX..
Conj_PNo_rel_imv_ex__29__1
25.00
TMMMv..
Conj_mul_SNo_assoc_lem2__53__18
25.00
TMQsu..
Conj_mul_SNo_assoc_lem2__60__20
25.00
82613..
Conj_SNo_etaE__2__1
25.00
TMW5T..
Conj_mul_SNo_assoc_lem2__83__29
25.00
e0a4a..
Conj_minus_SNo_prop1__2__2
25.00
TMYVj..
Conj_mul_SNo_eq_3__10__14
25.00
TMX5T..
Conj_pos_small_real_recip_ex__24__9
25.00
TMF9B..
Conj_mul_SNo_assoc_lem1__83__9
25.00
TMNSN..
Conj_minus_SNoCut_eq_lem__6__9
25.00
TMTvN..
Conj_real_mul_SNo_pos__17__10
25.00
TMThs..
Conj_mul_SNo_Lt__57__11
25.00
TMN1T..
Conj_mul_SNo_assoc_lem2__24__1
25.00
TMRYk..
Conj_mul_SNo_distrR__35__17
25.00
TMSD5..
Conj_PNo_rel_split_imv_imp_strict_imv__11__7
25.00
TML5b..
Conj_mul_SNo_Lt__32__13
25.00
TMKdP..
Conj_mul_SNo_assoc_lem2__45__4
25.00
TMY97..
Conj_mul_SNo_assoc_lem1__55__8
25.00
More recent placed
Recently collected bounties
ebfe1..
MetaCat_struct_r_ord_coproduct_constr
100.00
17458..
MetaCat_struct_r_wellord_coproduct_constr
100.00
788ee..
MetaCat_struct_r_ord_equalizer_constr
125.00
d27a8..
MetaCat_struct_r_wellord_equalizer_constr
125.00
10b92..
MetaCat_struct_r_wellord_coequalizer_constr
125.00
df039..
MetaCat_struct_r_ord_coequalizer_constr
125.00
d6d09..
MetaCat_struct_r_wellord_nno
250.00
1f2a9..
MetaFunctor_struct_e_struct_p_nonempty
250.00
568d6..
MetaCat_struct_r_ord_subobject_classifier
250.00
1a527..
MetaCat_struct_r_ord_nno
250.00
d432e..
MetaCat_struct_r_ord_product_exponent
250.00
9460d..
MetaCat_struct_r_wellord_product_exponent
250.00
95edd..
MetaCat_struct_r_ord_pullback_constr
250.00
d4e5c..
MetaCat_struct_r_wellord_pushout_constr
250.00
ee3b3..
MetaCat_struct_r_wellord_pullback_constr
250.00
e5c69..
MetaCat_struct_r_ord_pushout_constr
250.00
d2cf4..
MetaCat_struct_r_wellord_subobject_classifier
250.00
301a5..
MetaCat_struct_r_left_adjoint_forgetful
750.00
c3ca2..
MetaCat_struct_p_left_adjoint_forgetful
750.00
80d3d..
MetaCat_struct_r_equivreln_left_adjoint_forgetful
750.00
More recent collected