Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMMu4..conj_CombUnif_TMMu4epoMMqQcD8cqXxHKF7yo6MT3mRDK7X 25.00
97b14.. 25.00
TMW67..conj_AbstrHF_TMW67yu9YHKdHqSejfM4KfwqDyNDZRvoJRt 25.00
59908.. 25.00
TMX4e.. 25.00
TMZUZ..conj_QBF_TMZUZPKsCgB1sFdBu3i1dyYsnDAnyvRB3Kc 25.00
TMWTB..conj_Random2_TMWTB6hz7fpvZeU9nnH6ccjUEmLokkpHp8N 25.00
a5463.. 25.00
b6853.. 25.00
TMXTc..conj_DiophantineMod_TMXTcG5ZHetdCTEaE1aeFhRsEUjpWLAagky 25.00
TMJMn..conj_Diophantine_TMJMne9Lg2cAHK2qq5khsNzfaxX3UbFczSV 25.00
TMQgY..conj_AbstrHF_TMQgYWrT28AvBDsDBgdt4tEibKiswZw11ds 25.00
TMTeg..conj_Diophantine_TMTeg3od2nrXXKQvExETeiaJuqMSwxksB91 25.00
TMEpA..conj_Random3_TMEpAzBopztXyV1qjgxBVVuSRHroAKgyYgo 25.00
TMMvo..conj_AbstrHF_TMMvokmR5NPu8YYbunss7H6NhV5xN8QDEWS 25.00
TMTzH..conj_AbstrHF_TMTzHiLGZ6cVijXyRqkUuoKSSC4R253HNYk 25.00
TMRcZ..conj_Diophantine_TMRcZ6TdJmiFfKfrbz5aBdFuXiKMouRme3v 25.00
0b83d.. 25.00
TMNv5..conj_Random1_TMNv5cR4Xcoa372nHbRRzPszdMmozbei54M 25.00
TMMXU..conj_AbstrHF_TMMXUT5frMrnDqZQVF8SX2CGX9jid4B5y77 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