Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMXWF..
conj_CombUnif_TMXWFdcTsbAqbjiBUf2i5x6NnNvVHMAHf1Z
25.00
TMH1e..
conj_Random1_TMH1ezGw54iKSSVrWBi1zf5fwURTBZ6KBoJ
25.00
TMFTg..
conj_Diophantine_TMFTgwcjmVksLiNEKg1qFa7HJHU4uH3F3ZL
25.00
TMZgH..
conj_QBF_TMZgHC6MaiHpf26y7B74DYpqVXGyEXYGoyR
25.00
TMPbP..
conj_Random1_TMPbPpvu3p8PKv4e9Wfxn6APE8iFiSuYgqT
25.00
TMR4S..
conj_Diophantine_TMR4SXJhy3sUgy9CQiVESHPcWBEzGQvEYPT
25.00
TMV3u..
conj_Diophantine_TMV3unCYCnnGWw4cSPEr2jLnpubjX5GfeFP
25.00
TMNQv..
conj_AbstrHF_TMNQv2S81bd2Rx39DZXUWoZNbceReTKS7hs
25.00
TMFnW..
conj_Diophantine_TMFnW9ewQV3T4W3ARYPEdff7AgnN212LZQW
25.00
TMUi6..
conj_Random2_TMUi6PEigN1f7kSQiHvZw7SoL8Qnt9Szn6o
25.00
TMJGy..
conj_QBF_TMJGyWQPQncWsjNK7XYnmv8xW64JBNDZDca
25.00
TMQFs..
conj_AbstrHF_TMQFscpYezmjE2W4z7KLRbLxPZJb3pKbF29
25.00
TMS2K..
conj_Diophantine_TMS2KYomGbQ1UDxqdmjCNx4sbPTuXeudDNd
25.00
TMPFm..
conj_CombUnif_TMPFmwuQDEP6pRFWGHgapxUqj3KBa6YqJsN
25.00
TMFaJ..
conj_Random1_TMFaJhARRpLNaaPtQ4SMpcKYcBZwNaLzfdJ
25.00
TMdR9..
conj_Diophantine_TMdR9bjUWeXs9Ejt3SAbFURJXQTAEAvZRbm
25.00
TMVUF..
conj_Diophantine_TMVUFntkVvsRuP3XhEQynEw8pzgmGfZHagi
25.00
TMbw5..
conj_DiophantineMod_TMbw5ubq1N99SBM9qnihSC1EPW7LWxFcCHS
25.00
TMSwD..
conj_CombUnif_TMSwD1d5Z8g1Vz9kxc9TGNqAuHStxgvu85y
25.00
TMd47..
conj_QBF_TMd47hEbJLZUum1fX4Ss6csVYKZ7KNzn1Mp
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