Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMLDJ..t48_sin_cos5 25.00
TMGNx..t7_polyeq_2 25.00
TMHUu..t42_parsp_2 25.00
TMJa1..t7_aff_3 25.00
TMZuP..t6_quin_1 25.00
TMLng..t4_pzfmisc1 25.00
TMHXy..t64_sin_cos7 25.00
TMbez..t61_diff_2 25.00
TMVPB..t5_yellow12 25.00
TMSCK..t4_pralg_3 25.00
TMN5y..t48_diff_3 25.00
TMXHD..t54_sin_cos3 25.00
TMNtC..t9_waybel27 25.00
TMdHL..t43_isomichi 25.00
TMUet..t5_borsuk_4 25.00
TMXsK..t61_sin_cos7 25.00
TMJeu..t74_complex1 25.00
TMUE7..t4_complex2 25.00
TMYnJ..t65_setlim_2 25.00
TMQ75..t4_translac 25.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