Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMW7r..Conj_eps_ordsucc_half_add__7__1 25.00
TMJc1..Conj_real_mul_SNo_pos__21__2 25.00
e4f91..Conj_mul_SNo_eq__20__3 25.00
63f7a..Conj_ordinal_SNoLev_max_2__5__0 25.00
TMdga..Conj_mul_SNo_distrR__137__4 25.00
TMcJ2..Conj_mul_SNo_assoc_lem1__76__10 25.00
TMEyb..Conj_PNo_rel_split_imv_imp_strict_imv__14__6 25.00
TMW2n..Conj_add_SNo_Lev_bd__23__5 25.00
TMRXT..Conj_mul_SNo_assoc_lem1__22__14 25.00
7bd1d..Conj_double_eps_1__1__1 25.00
TMHtr..Conj_real_Archimedean__8__2 25.00
TMHqD..Conj_real_mul_SNo_pos__25__1 25.00
TMYoo..Conj_mul_SNo_assoc_lem1__57__15 25.00
TMMwe..Conj_mul_SNo_assoc_lem2__107__3 25.00
TMUY5..Conj_mul_SNo_assoc_lem1__20__5 25.00
TMb8w..Conj_mul_SNo_prop_1__43__9 25.00
TMNft..Conj_mul_SNo_distrR__56__15 25.00
33d61..Conj_PNo_bd_In__1__3 25.00
TMHv5..Conj_mul_SNo_assoc_lem1__31__27 25.00
TMHEB..Conj_mul_SNo_assoc_lem1__15__6 25.00

More recent placed
Recently collected bounties
0e563..MetaCatSet_nno 250.00
b3083..MetaCatSmallSet_pushout 250.00
d1a34..MetaCat_struct_r_partialord_pullback_constr 250.00
e7f7d..MetaCat_struct_r_equivreln_pullback_constr 250.00
c2d12..MetaCat_struct_r_graph_pullback_constr 250.00
4d1df..MetaCat_struct_r_equivreln_product_constr 100.00
4f9ac..MetaCat_struct_p_product_constr 100.00
45658..MetaCat_struct_p_nonempty_product_constr 100.00
ece68..MetaCat_struct_r_product_constr 100.00
b370d..MetaCat_struct_r_per_product_constr 100.00
42715..MetaCat_struct_r_partialord_product_constr 100.00
709ef..MetaCat_struct_r_graph_product_constr 100.00
592be..MetaCat_struct_p_product_exponent 250.00
37ab0..MetaCatSet_product_exponent_gen_setprod_setexp 250.00
29786..MetaCatHFSet_product_exponent 250.00
e25fa..MetaCat_struct_p_nonempty_product_exponent 250.00
32b3d..MetaCatSet_product_exponent_gen 250.00
1810c..MetaCatSet_product_exponent 250.00
97ee8..MetaCat_struct_r_per_product_exponent 250.00
7f417..MetaCat_struct_r_product_exponent 250.00

More recent collected