Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMNpY..conj_Diophantine_TMNpYwS1jkLUUJS1v6ph33tiE2ME7RFR9ra 25.00
a4b4c.. 25.00
f06ab.. 25.00
TMboU..conj_Diophantine_TMboUDAmRuDUPVXGNYjcivXwYohdRhuSYi5 25.00
TMden..conj_Diophantine_TMdenW6bv6oLdfpSfRoViynFRaPfD4vEKCk 25.00
c0ac9.. 25.00
TMawo..conj_HOUnif_TMawomFikFG6AD73TfqZzv95WnaMLfYycXT 25.00
TMReP..conj_AbstrHF_TMRePohUuhqWSrbHfgd9WRjSapn4erpgJfp 25.00
TMaZ6..conj_AbstrHF_TMaZ6izwx7ynyoJtRPMYKMo2NuBaKp18mnj 25.00
39ac5.. 25.00
TMaEM..conj_Diophantine_TMaEMytcK1bt8QAQhb4fZadQinrCbJrM7a4 25.00
ff4a9.. 25.00
61c19.. 25.00
TMYDW..conj_DiophantineMod_TMYDWNNszK2QR74QqNPr7Y9gSsPqPxGDHs5 25.00
TMWFa..conj_DiophantineMod_TMWFa7US1wJSYLVuPbU7PRmjTYPKD8rGs6Q 25.00
TMPXt..conj_HOSetConstr_TMPXt2PFGaBVBw96AxuKTHhMDmzAeescogP 25.00
TMUU3..conj_QBF_TMUU3hfiPazPq1pJ3daHqJxDPTKXWU4ZUiJ 25.00
bb015.. 25.00
TMdWP..conj_QBF_TMdWPef4GhvqitTE77SaTwvqWoNXfB52cHb 25.00
TMdFj..conj_CombUnif_TMdFjrXmGAtUWuwqJUyA4Q7X5RJFiRVupEj 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