Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMJY6..
conj_Random2_TMJY61Xne5gMsT2R6SoGE1dZ1G381nR7ybe
25.00
TMLdi..
conj_DiophantineMod_TMLdigc9W3wqk6jTgPF6bxmmvNWzqhEUcU6
25.00
TMFvg..
conj_DiophantineMod_TMFvgYTug7zWpjXjq8KYhuXWY1W5to2gHfb
25.00
TMPJH..
conj_DiophantineMod_TMPJH4FSKxiecHi5uPnvqSmZL5dXqnWJdh1
25.00
TMMXU..
conj_AbstrHF_TMMXUT5frMrnDqZQVF8SX2CGX9jid4B5y77
25.00
TMNv5..
conj_Random1_TMNv5cR4Xcoa372nHbRRzPszdMmozbei54M
25.00
TMRcZ..
conj_Diophantine_TMRcZ6TdJmiFfKfrbz5aBdFuXiKMouRme3v
25.00
TMTzH..
conj_AbstrHF_TMTzHiLGZ6cVijXyRqkUuoKSSC4R253HNYk
25.00
TMMvo..
conj_AbstrHF_TMMvokmR5NPu8YYbunss7H6NhV5xN8QDEWS
25.00
TMEpA..
conj_Random3_TMEpAzBopztXyV1qjgxBVVuSRHroAKgyYgo
25.00
TMTeg..
conj_Diophantine_TMTeg3od2nrXXKQvExETeiaJuqMSwxksB91
25.00
TMQgY..
conj_AbstrHF_TMQgYWrT28AvBDsDBgdt4tEibKiswZw11ds
25.00
TMJMn..
conj_Diophantine_TMJMne9Lg2cAHK2qq5khsNzfaxX3UbFczSV
25.00
TMXTc..
conj_DiophantineMod_TMXTcG5ZHetdCTEaE1aeFhRsEUjpWLAagky
25.00
TMWTB..
conj_Random2_TMWTB6hz7fpvZeU9nnH6ccjUEmLokkpHp8N
25.00
TMZUZ..
conj_QBF_TMZUZPKsCgB1sFdBu3i1dyYsnDAnyvRB3Kc
25.00
TMX4e..
25.00
TMW67..
conj_AbstrHF_TMW67yu9YHKdHqSejfM4KfwqDyNDZRvoJRt
25.00
TMMu4..
conj_CombUnif_TMMu4epoMMqQcD8cqXxHKF7yo6MT3mRDK7X
25.00
TMKZN..
conj_AbstrHF_TMKZNTWR91rse1HPeBgFRKzjTZbnVmCK1tr
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