Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMaPh..
conj_DiophantineMod_TMaPhDx2sk4Fu4xkFVNy1o1fpZG2BosfEST
25.00
TMKkd..
conj_CombUnif_TMKkdj1i43FyezXRXAHdHGKSdHkZA7Dq1de
25.00
TMVoc..
conj_Diophantine_TMVocRFbU11FHPxPdJAGFQKY6z2K6ndmexA
25.00
TMX5D..
conj_DiophantineMod_TMX5DRxnArnVArbbeihcnTYTSNBUVjkzVEb
25.00
TMH6u..
conj_Diophantine_TMH6uBnRkhZ4VHnEUBrjfrTo6Au3pccJVNg
25.00
TMGA7..
conj_Diophantine_TMGA7QcfQct8rcvzhGKXR9YoQUfXY2e2vwb
25.00
TMQXL..
conj_HOSetConstr_TMQXLQTgRhcRcdYCvvBr6rwBVgk2mX4Yrcn
25.00
TMThd..
conj_DiophantineMod_TMThdkTixRLCFaRpeTtetaCEiKRCzkNxDkc
25.00
TMVxt..
conj_CombUnif_TMVxtUntLTRGHrgGEhMwSBJXfhaFu6acQ6r
25.00
TMNpM..
conj_HOSetConstr_TMNpMfoGENZLXEr3Ci12cuo5pWy8YmCdmCo
25.00
TMTHn..
conj_Diophantine_TMTHn8xbECmyKwX9FTUzLSAGHhgUHE4dH8d
25.00
TMXwJ..
conj_Diophantine_TMXwJVouEidFUFfHzH7hbrdwZd1amVvH6Wy
25.00
TMaNf..
conj_Diophantine_TMaNf4N1zfACzaZUUhemmvXwcNmkkZfUCQB
25.00
TMSKF..
conj_Diophantine_TMSKFiEAYVvgMTnFLpHvfRPErfbiK2fStvC
25.00
TMMTX..
conj_QBF_TMMTXQR3PYwALcoNB6ZePRr4VbRKvCnmDks
25.00
TMVSr..
conj_Diophantine_TMVSrcMaurcwqLNkhcduLiXLZmbsQ6z8Qia
25.00
TMaGK..
conj_DiophantineMod_TMaGKSAy36jEm9TanTRHbHPdipDef2rf9yF
25.00
TMPHQ..
conj_HOSetConstr_TMPHQEgTEunu8xW57DggSNi4DtWJ8A5SkBy
25.00
TMEy6..
conj_AbstrHF_TMEy67PcKjexGYKjjuWgh6eWftsU9ntFL98
25.00
TMSNS..
conj_HOSetConstr_TMSNSqyuybbwSKRxCXmreZKeTnUMNmfc1vG
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