Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMT1L..MetaCat_struct_b_b_r_e_e_ordered_field_coequalizer_constr 125.00
TMLYn..MetaCat_struct_b_b_r_e_e_ordered_field_equalizer_constr 125.00
6fb85..MetaCat_struct_b_b_r_e_e_ordered_field_product_exponent 250.00
TMX33..MetaCat_struct_b_b_r_e_e_ordered_field_pushout_constr 250.00
d2d4c..MetaCat_struct_b_b_r_e_e_ordered_field_coproduct_constr 100.00
TMTfq..MetaCat_struct_b_b_r_e_e_ordered_field_pullback_constr 250.00
38cd2..MetaCat_struct_b_b_r_e_e_ordered_field_initial 25.00
a0412..MetaCat_struct_b_b_r_e_e_ordered_field_nno 250.00
eeafe.. 1.00
b7323.. 1.00
TMFjs.. 200.00
TMQy9.. 200.00
TMVwP.. 200.00
TMce4.. 200.00
TMUAz.. 200.00
TMQ16.. 200.00
TMcUV.. 200.00
TMSDL.. 200.00
TMcfj.. 200.00
TMNj9.. 200.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