Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMNjk..conj_HOSetConstr_TMNjkBUt69cVSpS6MfqjST7jF7mqrxi8Qov 25.00
dc728.. 25.00
TMLcW..conj_CombUnif_TMLcWpz6FsP1Ufk4kXeefChiZiCUNKpEvQn 25.00
TMbup..conj_CombUnif_TMbupb35WzNjm797oGnHdKLfXK1RmKqEn6x 25.00
TMZXp..conj_Diophantine_TMZXpF52UXwHDArkgmKcLdD3rrX7CY7L5Ve 25.00
TMaYG..conj_DiophantineMod_TMaYG3fRYGWjt5FMbHV2YUEMGFrFWJu7WBe 25.00
f0474.. 25.00
872b2.. 25.00
TMM5K..conj_CombUnif_TMM5KnEpCiZ8S2mPzDWVepDW39cK3xVW3kH 25.00
TMcUC..conj_AbstrHF_TMcUC4G8Cx5qboH7RLiapXNjH9Q3ttj8bfs 25.00
TMHG4..conj_Diophantine_TMHG4fVfkibjE73TESuoaV3VMJm58PCTsH4 25.00
54da4.. 25.00
TMXWY..conj_CombUnif_TMXWYpZQNURMX3mDGZpzeLkV9679cyJYXH7 25.00
e1676.. 25.00
TMKRD..conj_AbstrHF_TMKRDNmF787B3KGKvTri5Hj3quCDqKJcQL2 25.00
TMFp4..conj_DiophantineMod_TMFp4cXLAnKGs1jXwcXJiDYy4LosMXRNu18 25.00
TMEsj..conj_DiophantineMod_TMEsjVGysTqxoVDYK3qssWmoDPfN3Bec7Kt 25.00
TMa6W..conj_AbstrHF_TMa6WAEvHEz3eNsq4BhpdaskCdu9JoHCx4Q 25.00
TMW5a..conj_DiophantineMod_TMW5a4sXCgcfrRGdgU2fRB2stk232cGQKBF 25.00
29486.. 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