Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMVkt..
conj_AbstrHF_TMVkthpDTMP69aAabXYWps51LXTEHuNp5tN
25.00
TMYi8..
conj_AbstrHF_TMYi8VX6WWMPnbr3TZpGmJvexghBQDTYHp2
25.00
TMKNV..
conj_DiophantineMod_TMKNVk1v6zebkRXLcajCiBkwjgcS3cmkND5
25.00
TMQ7n..
conj_AbstrHF_TMQ7nFYE9ZMDeKa9NPHnYQLMYK2MuS9C1V3
25.00
TMawq..
conj_Diophantine_TMawqjat1mpbJ7eUNq4vyyCePhm1w63Sovi
25.00
TMQRu..
conj_AbstrHF_TMQRuotbw7AZtWbFzFvePicJJjrShupXRX5
25.00
TMXja..
conj_CombUnif_TMXjaqURy6Gyi8oZSetDnuGDue1vtDwokXK
25.00
TMPE8..
conj_Random3_TMPE8oug9tcfYtLwYtbQdk7NeUVqa48do5t
25.00
TMZmM..
conj_HOSetConstr_TMZmMS7rXeity2YBK6Xqs72QPG6bxTb6pqA
25.00
TMR2w..
conj_Diophantine_TMR2wNcw3MbLDszFXch7ZEWuPHNVE2LNeLU
25.00
TMWS6..
conj_Diophantine_TMWS6eN55XgEXNHbEqxqT6kvsMhZyH8zRDP
25.00
TMby3..
conj_AbstrHF_TMby3LETewPfHyQYcdGWRXPkmR479kA9Kmd
25.00
TMb3t..
conj_QBF_TMb3tYzb3e775brfxKDN8TF5VZai2AfjWCH
25.00
TMWdS..
conj_AbstrHF_TMWdSPAyy5yutSf2iCSJxpXQXrSWkQut1ps
25.00
TMbUU..
conj_AbstrHF_TMbUUj8UAtZtvj7xfVkfJyApH1HNBnTtDN4
25.00
TMQWp..
conj_Diophantine_TMQWpdP2EVRVaNGx7A3XdAa2ASB2LgcSUGD
25.00
TMSww..
conj_Random1_TMSwwEs7ccX6EAeDmZfJEY3GouxRR4mvQnm
25.00
TMdo2..
conj_DiophantineMod_TMdo2Gnv2n9E4oAvcs36koYnuU6A1CayQzv
25.00
TMdkJ..
conj_DiophantineMod_TMdkJkeHXzJEJPbUgeVZRc1G7Mqfsj6irNt
25.00
TMRqp..
conj_Diophantine_TMRqpURosnKbeHxsizrDJGk2fm7bJt96ETE
25.00
More open bounties
Collected bounties
592be..
MetaCat_struct_p_product_exponent
250.00
1f2a9..
MetaFunctor_struct_e_struct_p_nonempty
250.00
a53be..
MetaCatSet_pullback_gen
250.00
25c26..
MetaCatSet_subobject_classifier
250.00
833b6..
MetaCatSmallSet_nno
250.00
d6d09..
MetaCat_struct_r_wellord_nno
250.00
15618..
MetaCatSet_pushout
250.00
3aa34..
MetaCat_struct_r_graph_subobject_classifier
250.00
12c76..
MetaCat_struct_u_nno
250.00
e5b47..
MetaCatSet_subobject_classifier_gen_ex
250.00
bfc42..
MetaCatHFSet_pushout
250.00
dcba1..
MetaCat_struct_p_nno
250.00
1051b..
MetaCatSet_nno_gen_ex
250.00
e6d9e..
MetaCat_struct_b_group_equalizer_constr
125.00
994bf..
MetaCat_struct_b_abelian_group_equalizer_constr
125.00
f1b36..
MetaCat_struct_b_loop_equalizer_constr
125.00
1451d..
MetaCat_struct_b_monoid_equalizer_constr
125.00
9347c..
MetaCat_struct_b_semigroup_equalizer_constr
125.00
b8635..
MetaCat_struct_b_quasigroup_equalizer_constr
125.00
1d8ba..
MetaCat_struct_r_equalizer_constr
125.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88