Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
fd9cb..MetaCat_struct_b_monoid_nno 250.00
TMFdY..MetaCat_struct_b_b_r_e_e_pullback_constr 250.00
TMXX7..MetaCat_struct_u_idem_pushout_constr 250.00
TMJyA..MetaCat_struct_r_pushout_constr 250.00
90b91..MetaCat_struct_r_graph_product_exponent 250.00
TMHBY..MetaCat_struct_u_bij_pushout_constr 250.00
TMGBN..MetaCat_struct_r_graph_pushout_constr 250.00
TMQ4n..MetaCat_struct_b_subobject_classifier 250.00
ee0c2..MetaCat_struct_b_nno 250.00
TMVMK..MetaCat_struct_r_per_pushout_constr 250.00
TMQbg..MetaCat_struct_r_subobject_classifier 250.00
f1e9d..MetaCat_struct_r_partialord_product_exponent 250.00
TMYX1..MetaCat_struct_r_partialord_pushout_constr 250.00
c5610..MetaCat_struct_u_bij_product_exponent 250.00
TMHYc..MetaCat_struct_r_equivreln_pushout_constr 250.00
TMX5B..MetaCat_struct_r_equivreln_subobject_classifier 250.00
d53a2..MetaCat_struct_b_product_exponent 250.00
82496..MetaCat_struct_r_equivreln_product_exponent 250.00
TMMGr..MetaCat_struct_u_subobject_classifier 250.00
TMPWw..MetaCat_struct_p_nonempty_subobject_classifier 250.00

More open bounties

Collected bounties
572d4..Conj_ordinal_ordsucc_In_eq__1__1 25.00
7cb2e..Conj_mul_SNo_eq__25__3 25.00
07010..Conj_PNoLt_trichotomy_or__7__2 25.00
a3487..Conj_mul_SNo_eq__18__4 25.00
ca45c..Conj_eps_ordsucc_half_add__11__1 25.00
d22e6..Conj_real_add_SNo__6__10 25.00
b53aa..Conj_add_nat_add_SNo__1__1 25.00
f4ed2..Conj_pos_real_recip_ex__2__4 25.00
a44cb..Conj_add_CSNo_com__1__2 25.00
d0ad0..Conj_add_SNo_ordinal_ordinal__4__1 25.00
85918..Conj_SNo_rec2_eq__1__1 25.00
e3ee4..Conj_SNoS_ordsucc_omega_bdd_drat_intvl__5__2 25.00
d2732..Conj_ZF_UPair_closed__1__1 25.00
687fa..Conj_minus_SNo_invol__8__0 25.00
9e6ca..Conj_SNoS_omega_diadic_rational_p_lem__10__12 25.00
8c732..Conj_add_SNo_ordinal_SL__11__9 25.00
3cff7..Conj_mul_SNo_SNoR_interpolate__4__3 25.00
d43ff..Conj_SNo_pos_eps_Le__1__3 25.00
79465..Conj_SNo_etaE__5__1 25.00
dcf98..Conj_SNo__eps___3__3 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88