Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMU7g..
conj_Diophantine_TMU7gvURSHXNc2b8mAKMFGLbrhcCZyvH9mY
25.00
TMcvc..
conj_AbstrHF_TMcvcUgXgZWH7st62SXET8yoNUPPdjjA9Vb
25.00
TMYSt..
conj_Diophantine_TMYStwaXrjyfLgcTEusLKRThpH93Xyydqdk
25.00
TMWK3..
conj_AbstrHF_TMWK3whEP9K6GZdcVcRVnP11ayzfumzVy6X
25.00
TMNTt..
conj_Diophantine_TMNTtKGziQVK5vwsMTgPjMjwCgTeK2oCipp
25.00
TMQbq..
conj_DiophantineMod_TMQbqETTbghYxCwfz4HBiszhBc1qXHaKW5z
25.00
TMYrm..
conj_AbstrHF_TMYrmjMfi2wkPTiPMV9oVBPzaEW71AJPQQN
25.00
TMLLV..
conj_Diophantine_TMLLVGjVowu24Nd5TT86JGPnwRJag25Cpt3
25.00
TMHza..
conj_Diophantine_TMHzaqphLVEvkiAmmqxgXP8WmxxUAamSxmF
25.00
TMMew..
conj_Diophantine_TMMewLeZEgh2Abum36bkjNRMdABvpngmtKo
25.00
TMSrR..
conj_AbstrHF_TMSrRU1qadDKJRBTEpzwu1TMt72rRNWUth4
25.00
TMasi..
conj_AbstrHF_TMasiMMQCzjU6xnuoQytrmuAsNGmTduLQdo
25.00
TMcAt..
conj_Diophantine_TMcAtKJ4pW3P9UHUEhQnLrt4q6pokjZo2s2
25.00
TMS3q..
conj_Diophantine_TMS3qsAX2HUDWJcRso1MqQJqdyoyuD3NX8G
25.00
TMWA2..
conj_Diophantine_TMWA2eiKHNypWTfGkogq4bcTC4kyvPKozaj
25.00
TMX3u..
conj_DiophantineMod_TMX3u2eDxyXiEcfZ5FvY7tKY1dAiS1E97xX
25.00
TMH4Z..
conj_Random1_TMH4ZacEkoR1PKiEftwQYVDcNKBwmTu9Msn
25.00
TMMX4..
conj_DiophantineMod_TMMX4SWY8Vuw4Hkf8XrdYXSNgSpSvYbfF46
25.00
TMZDF..
conj_HOSetConstr_TMZDFW6pMNWz7vpxXhhZwdjfnM6K7Yz1czg
25.00
TMUDa..
conj_DiophantineMod_TMUDaoJyjvTnGELebiwiq5dUB8FREsrE3xg
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