Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
6bbb6..
25.00
TMWvT..
conj_HOSetConstr_TMWvTn8wD3MVEobZgtQiY74aUcqgX76Nfxf
25.00
TMdd8..
conj_HOSetConstr_TMdd84Bgbw6RJgM3oCnh4iEJNxa122GmeFU
25.00
TMNJY..
conj_AbstrHF_TMNJYV98YoTsLwntgp9wMRGNHM1EPd4VLTE
25.00
TMRAZ..
conj_QBF_TMRAZyHKtP7mMpVscuuSf2tftFL3aq5TNkG
25.00
TMLqu..
conj_AbstrHF_TMLquGZFn7yhRZqpe49qaAYyM1PFRSi8DpC
25.00
786fd..
25.00
321bd..
25.00
TMFJ6..
conj_Diophantine_TMFJ6uSdKBmneLfNk2YtL84F6HmToWr4hi1
25.00
TMciv..
conj_Diophantine_TMcivSLqRw1pG9manGu4c3am1HfpGdhPoMw
25.00
TMKFE..
conj_Diophantine_TMKFEWxcKqRG1KgF52SWPh6aJCj8ZGTuoot
25.00
TMKLB..
conj_QBF_TMKLBN8c1hk8t2Fix6qcfH39BWnCWNNL23s
25.00
TMRqp..
conj_Diophantine_TMRqpURosnKbeHxsizrDJGk2fm7bJt96ETE
25.00
TMdkJ..
conj_DiophantineMod_TMdkJkeHXzJEJPbUgeVZRc1G7Mqfsj6irNt
25.00
TMdo2..
conj_DiophantineMod_TMdo2Gnv2n9E4oAvcs36koYnuU6A1CayQzv
25.00
TMSww..
conj_Random1_TMSwwEs7ccX6EAeDmZfJEY3GouxRR4mvQnm
25.00
TMQWp..
conj_Diophantine_TMQWpdP2EVRVaNGx7A3XdAa2ASB2LgcSUGD
25.00
TMbUU..
conj_AbstrHF_TMbUUj8UAtZtvj7xfVkfJyApH1HNBnTtDN4
25.00
TMWdS..
conj_AbstrHF_TMWdSPAyy5yutSf2iCSJxpXQXrSWkQut1ps
25.00
d94f6..
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