Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMXER..t23_waybel19 25.00
TMMRL..t23_cfunct_1 25.00
TMSmZ..t25_fib_num3 25.00
TMTCq..t5_bvfunc_7 25.00
TMWCi..t27_funct_1 25.00
TMMkS..t24_fib_num3 25.00
TMUeZ..t21_bvfunc_7 25.00
TMVkL..t20_yellow_3 25.00
TMYYm..t24_sin_cos4 25.00
TMSBS..t22_cfuncdom 25.00
TMMtz..t22_cqc_the2 25.00
TMauR..t35_wellord1 25.00
TMTaE..t34_sin_cos4 25.00
TMWhR..t26_fib_num4 25.00
TMQJp..t3_diff_2 25.00
TMX3o..t35_sin_cos4 25.00
TMR3m..t36_bvfunc_3 25.00
TMMQp..t35_series_5 25.00
TMbLL..t28_cfunct_1 25.00
TMP7z..t28_bcialg_3 25.00

More recent placed

Recently collected bounties
1d8ba..MetaCat_struct_r_equalizer_constr 125.00
1051b..MetaCatSet_nno_gen_ex 250.00
bfc42..MetaCatHFSet_pushout 250.00
e5b47..MetaCatSet_subobject_classifier_gen_ex 250.00
15618..MetaCatSet_pushout 250.00
833b6..MetaCatSmallSet_nno 250.00
25c26..MetaCatSet_subobject_classifier 250.00
a53be..MetaCatSet_pullback_gen 250.00
341a1..MetaCatHFSet_subobject_classifier 250.00
ebc63..MetaCat_struct_p_nonempty_pullback_constr 250.00
596e3..MetaCatSmallSet_pullback 250.00
fcaee..MetaCatSet_pullback 250.00
bd9cd..MetaCatSet_subobject_classifier_gen 250.00
7223a..MetaCatSmallSet_subobject_classifier 250.00
44067..MetaCat_struct_r_per_pullback_constr 250.00
97f16..MetaCat_struct_r_pullback_constr 250.00
ea037..MetaCatSet_nno_gen 250.00
2e08d..MetaCatHFSet_pullback 250.00
8381c..MetaCatSet_pushout_gen 250.00
8ba3f..MetaCat_struct_p_pullback_constr 250.00

More recent collected