Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMZHQ..
conj_AbstrHF_TMZHQkeK62DAEwxazTVXr4jF9c61QufRob7
25.00
TMJJT..
conj_QBF_TMJJTeSzCrSn258SXSkeek12cAyubizQhPc
25.00
TMQar..
conj_AbstrHF_TMQarKJVAbZMjNLYPgv2Y52QJR1K1CYcDBz
25.00
TMPJm..
conj_HOUnif_TMPJmUQWuimMhDwUgwdgCyjKFRL4ty1AUh6
25.00
TMNcp..
conj_AbstrHF_TMNcpo8vBQhmYesWJQPGg85zhgJacJvFWdT
25.00
TMSyM..
conj_QBF_TMSyMWmTN8HamzgUSTvz3PeRzXBvandS16Y
25.00
TMW1v..
conj_Random1_TMW1vZr4QjbS5TdPp29oCGWVSd7xqdnfns1
25.00
TMVAE..
conj_AbstrHF_TMVAEffKxUwMu9DkBtWMuu6bF2d14Ad9Vme
25.00
TMQCx..
conj_HOUnif_TMQCx6cF3Trb4TAc2YdqXWoeBRgrdvA67JA
25.00
TMUZp..
conj_HOUnif_TMUZpWjwuEnetzkRLoxeRWVgr6V1RHx63bs
25.00
TMKaD..
conj_Random1_TMKaDL4suFdDiNMUBgGJn3mFnQCnCMwWYrg
25.00
TMSJi..
conj_DiophantineMod_TMSJi2hf4AsdtqL3hPcHdVaBjHXsxw6xE3r
25.00
TMW4A..
conj_QBF_TMW4AJScpozZyKj8BRMDsNrpQfP1ybLwivA
25.00
TMRvN..
conj_QBF_TMRvN7gTmv9t3cN8TWWKyFq1LTWuL5RgYB1
25.00
TMKpD..
conj_CombUnif_TMKpDJYeCQbxW4er8z2ccKA7RWigQLRVhQ6
25.00
TMSwx..
conj_AbstrHF_TMSwxCf9N1yJd4z9TjQYY9AcQFJebUrMnYR
25.00
TMb7G..
conj_DiophantineMod_TMb7GVQorENJAqzz6aLBKSFYEss8jng4Tiu
25.00
TMKyT..
conj_HOSetConstr_TMKyTtwa3Dnt9ZaZs1TWXZs2BwbMSev7gn3
25.00
TMZsB..
conj_AbstrHF_TMZsB14diYFjGZk13c45onW6rgWpMuT5kwd
25.00
TManN..
conj_DiophantineMod_TManN5RP8yZz54shCDQjFPScfQH9Azqi8RE
25.00
More open bounties
Collected bounties
4ce24..
MetaCat_struct_b_group_terminal
25.00
7fbaf..
MetaCat_struct_b_loop_terminal
25.00
43061..
MetaCat_struct_b_monoid_initial
25.00
19aaf..
MetaCat_struct_b_quasigroup_terminal
25.00
cae12..
MetaCat_struct_u_idem_terminal
25.00
32041..
MetaCat_struct_u_bij_terminal
25.00
fc401..
MetaCat_struct_r_graph_initial
25.00
d664c..
MetaCat_struct_r_initial
25.00
743bb..
MetaCat_struct_r_per_initial
25.00
89169..
MetaCat_struct_r_graph_terminal
25.00
f400a..
MetaCat_struct_r_terminal
25.00
021fd..
MetaCat_struct_b_terminal
25.00
f3af9..
MetaCat_struct_r_partialord_initial
25.00
955bd..
MetaCat_struct_u_bij_initial
25.00
2fd91..
MetaCat_struct_u_idem_initial
25.00
105dd..
MetaCat_struct_r_wellord_initial
25.00
bf553..
MetaCat_struct_r_per_terminal
25.00
ae77a..
MetaCat_struct_r_equivreln_terminal
25.00
adce2..
MetaCat_struct_r_ord_initial
25.00
128d6..
MetaCat_struct_p_nonempty_terminal
25.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88