Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMFLh..
conj_AbstrHF_TMFLhP5tYUmmzDbv98DqREaNPLaDBZzmH1L
25.00
TML1g..
conj_AbstrHF_TML1gK82iBRzrppPbhtHPeA2jXRQpY8JdhN
25.00
TMFMm..
conj_Diophantine_TMFMmhv4CjYN6Wkh8gjNHhKKSodFiuiV2ZT
25.00
TMF5J..
conj_DiophantineMod_TMF5JnSqCMkJhyULgE4ZnStMNNs9hG3NzvL
25.00
TMS6K..
conj_Diophantine_TMS6K2Q9bmS3JeUxcM1RjE8NvzKXpNFFusa
25.00
TMWe2..
conj_DiophantineMod_TMWe2QZuRZzsD6ELiU93p31HiXbN4y1f8et
25.00
TMVFr..
conj_Diophantine_TMVFrzyMFT9RED5ZNrG3541FT66h49tYCGg
25.00
TMNGy..
conj_CombUnif_TMNGyChKGEUkJavi6Bt5uXVXJJGi14cov2Z
25.00
TMJHu..
conj_CombUnif_TMJHuoFQGANuAGyPbBL7Fp3Kir4PZ6JtTFK
25.00
TMGLx..
conj_Diophantine_TMGLxJT3aXD5FqRFJQ57xcDg9ix2G8kXK1v
25.00
TMFtZ..
conj_AbstrHF_TMFtZJmNXqu1edLTpT3djhn4q9VtMvannRo
25.00
TMGtU..
conj_HOSetConstr_TMGtUexTLvLJiRGYCY4LFPabYdbXwj9gEP1
25.00
TMVxo..
conj_HOUnif_TMVxo1gzhBzpJvgMuc3HiZZVFgFiZMjsBNk
25.00
TMK1k..
conj_DiophantineMod_TMK1kTHs4f7iA1fBzZXZHMkj1GvgPfsoZRE
25.00
TMMPW..
conj_DiophantineMod_TMMPW7WcZsoxu7zX8xdX4n1gtUvkj7yCfXL
25.00
TMFTb..
conj_DiophantineMod_TMFTbrwohk52xjk5QJszbLn3rRuquhoc66j
25.00
TMZvJ..
conj_Diophantine_TMZvJ7DehevQRWm3pWg1NXaHouwk89CreKP
25.00
TMdoo..
conj_Random2_TMdoopWoA9jfqVyB2wh3mJFCWBhMvSh8fgP
25.00
TMPnb..
conj_DiophantineMod_TMPnbZMYDZB3pPEtTTnQmQUGTT53mNtTUdJ
25.00
TMZxs..
conj_DiophantineMod_TMZxssCvga35cuXC8MXJEqkZeP6joeNTKVk
25.00
More open bounties
Collected bounties
8d752..
MetaCat_struct_u_idem_nno
250.00
e5c69..
MetaCat_struct_r_ord_pushout_constr
250.00
6bf66..
MetaCat_struct_r_partialord_nno
250.00
ee3b3..
MetaCat_struct_r_wellord_pullback_constr
250.00
d4e5c..
MetaCat_struct_r_wellord_pushout_constr
250.00
95edd..
MetaCat_struct_r_ord_pullback_constr
250.00
e7f7d..
MetaCat_struct_r_equivreln_pullback_constr
250.00
9460d..
MetaCat_struct_r_wellord_product_exponent
250.00
d1a34..
MetaCat_struct_r_partialord_pullback_constr
250.00
d432e..
MetaCat_struct_r_ord_product_exponent
250.00
7f417..
MetaCat_struct_r_product_exponent
250.00
7d132..
MetaCat_struct_r_per_nno
250.00
97ee8..
MetaCat_struct_r_per_product_exponent
250.00
1a527..
MetaCat_struct_r_ord_nno
250.00
b3083..
MetaCatSmallSet_pushout
250.00
0e563..
MetaCatSet_nno
250.00
8ba3f..
MetaCat_struct_p_pullback_constr
250.00
1810c..
MetaCatSet_product_exponent
250.00
32b3d..
MetaCatSet_product_exponent_gen
250.00
e25fa..
MetaCat_struct_p_nonempty_product_exponent
250.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88