Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMQV6..
conj_DiophantineMod_TMQV6qv7P2LCVuC3dzjSbAVKZ6uapyc5QWG
25.00
TMUZa..
conj_Diophantine_TMUZa8kr7BDVdFKLYVMD71uXP7HWmnRTTFp
25.00
TMcj4..
conj_AbstrHF_TMcj4sTGhs7DM5wwRHhjRGDJ5CTczRsRCL7
25.00
TMU94..
conj_CombUnif_TMU94kZbqSqcHzfjEqV4SqvEmRREnSP1LMJ
25.00
TMX3f..
conj_AbstrHF_TMX3f9LE3VZJ9KiZqnjNkWR8teinok45RaK
25.00
TMNK7..
conj_Diophantine_TMNK7SypyzG1dY836KFAvDumG4ThtU9yLjE
25.00
TMHUT..
conj_CombUnif_TMHUTFj2hGghy7Yy2xab88ii1EKJ7Fd4HiW
25.00
TMX2d..
conj_Diophantine_TMX2dEREjiQEh5Gby6sXjJab1JPrS6DBRuK
25.00
TMF5Z..
conj_CombUnif_TMF5ZFy6tAzse1gHgHknQh3PMFWztfaaYyF
25.00
TMKs6..
conj_CombUnif_TMKs6koTAaHSwHAqxvdVP64shhDAjUefLzG
25.00
TMVvk..
conj_AbstrHF_TMVvkKjS2vpWKdiby8jpbNWP73t2wy7KavF
25.00
TMWXz..
conj_Diophantine_TMWXzfHQ6Xa6xma9pBTNWj4BgsG9cvP6cqM
25.00
TMGPp..
conj_DiophantineMod_TMGPp2HNbdBq9YSrQPiSmP2dHPgHowQ5T1D
25.00
TMdrc..
conj_Diophantine_TMdrcE5RHPbBEwrapsAzKCvDHowh3heDkRU
25.00
TMKuv..
conj_HOSetConstr_TMKuvQKTQNbUGTBTCmueUf1MfDFybz8Fwr1
25.00
TMRER..
conj_AbstrHF_TMRERUF53CXGXTATEZCExLAimCJQYLDwMeC
25.00
TMbPw..
conj_AbstrHF_TMbPw1fQhmgrjyoaMxbxLLZ3wrvLy4UXyq4
25.00
TMQJY..
conj_Diophantine_TMQJY5xYWTZ8g2CAwMTy9mWDqa5rySN1GcU
25.00
TMcPh..
conj_HOSetConstr_TMcPhJdigfeyQbMWFssEmtH3rttAmBzmYhj
25.00
TMKv4..
conj_CombUnif_TMKv4ZFzRrYrBYm3MpVrt4unRxrYbY4s2yY
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