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
6bf66..
MetaCat_struct_r_partialord_nno
250.00
21b6c..
MetaCat_struct_r_partialord_subobject_classifier
250.00
31886..
MetaCat_struct_r_graph_nno
250.00
eece9..
MetaCat_struct_r_equivreln_nno
250.00
d652b..
MetaCat_struct_b_quasigroup_pullback_constr
250.00
2614c..
MetaCat_struct_b_loop_pullback_constr
250.00
aab6c..
26.00
a10fd..
26.00
d06dd..
26.00
87c7d..
26.00
bd2a8..
26.00
dd2c3..
26.00
8add7..
26.00
dc189..
26.00
efa6f..
26.00
0b533..
26.00
70f6b..
26.00
eb7ca..
26.00
4bd21..
26.00
ebddd..
26.00
More recent collected