Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMdM9..l63_sin_cos6 25.00
TMRMX..l22_csspace2 25.00
TMJUv..t19_funct_9 25.00
TMY91..t18_yellow20 25.00
TMGqy..t14_pre_topc 25.00
TMJQ3..l17_series_5 25.00
TMFTY..t14_polyeq_5 25.00
TMYLW..t15_fdiff_10 25.00
TMdGM..t18_bvfunc25 25.00
TMHv1..t17_pre_topc 25.00
TMRVp..t16_taxonom2 25.00
TMSko..l2_real_3 25.00
TMHaT..t12_diff_2 25.00
TMUmw..l22_series_5 25.00
TMVPD..l15_homothet 25.00
TMMqU..l44_sin_cos7 25.00
TMHhZ..t14_quin_1 25.00
TMRUQ..t11_card_lar 25.00
TMUXJ..l89_asympt_1 25.00
TMQJF..t18_radix_6 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