Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMWz2..
conj_Diophantine_TMWz27vhyh7WVHYYiQenhJ3v5p8M9gLQZD9
25.00
TMcZY..
conj_Diophantine_TMcZYVC7hy3eNn793gnkZfdecoWu6nENiVe
25.00
TMLqt..
conj_AbstrHF_TMLqtu3TzvWWrVfb15MoU7pvE6UrWrYaE8F
25.00
TMch9..
conj_CombUnif_TMch9ePP7HTZ7UTSLFwYGnXfFVwZipJc8Tr
25.00
TMNY4..
conj_QBF_TMNY43Rcw1obwunCPKK3pCaacaDyCx7QiBA
25.00
TMWN1..
conj_DiophantineMod_TMWN1bDw6DM2xW4DWz8ZTjxPxEx38rhJd6L
25.00
TMGPn..
conj_CombUnif_TMGPnhXyiqWhMFuiHzsuD1wDHHgKYnyZXLS
25.00
TMNkS..
conj_CombUnif_TMNkSTK63V5znZwdsQzrK84FcqUFwRzW7yg
25.00
TMFoJ..
conj_DiophantineMod_TMFoJBwxhu6CuxNd61uw9BEro3ntkfDY3UP
25.00
TMVqi..
conj_Random1_TMVqikVszYaBDyCxvbbXjFeeQfVEwEYKqay
25.00
TMFbN..
conj_DiophantineMod_TMFbNWt75DN4UjSpm2dhbzN6MpfbxqagLdo
25.00
TMYeV..
conj_AbstrHF_TMYeVLeSecvCzjbpdk2wwuwpBjg24Yw7zRk
25.00
TMF68..
conj_HOUnif_TMF68bhQyZwCCxp2PNY4X3sU7uTfuEowr2X
25.00
TMWKM..
conj_HOSetConstr_TMWKMjQGvLZa6sdRUEQwrhyNWZmRxVnpFpT
25.00
TMT8R..
conj_CombUnif_TMT8R7q55K3BpxZFJyDAAw9K7pzM93NFyYG
25.00
TMTYA..
conj_CombUnif_TMTYAUZTPYHyUDbRkFy76xH41pNyqXNmGVJ
25.00
TMPcN..
conj_DiophantineMod_TMPcNvXXKb2Av4VaSAMGNXnvzfJMKKBWUyz
25.00
TMaki..
conj_CombUnif_TMakikC5FS5e9QgZui3jwJ1kGV3UygG8T3n
25.00
TMYA2..
conj_Diophantine_TMYA2gQZVRd4XqapcWsM667TQxbJopxEwyY
25.00
TMLdk..
conj_CombUnif_TMLdka8RoqEJCtV8qaidvHanLtnhqw5iNTo
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