Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMLFP..
conj_Random1_TMLFPXLU1Az5hWtcj7qSWu8Yp7JcnkNfmUN
25.00
TMVWA..
conj_DiophantineMod_TMVWA2Q5NFyK6G1HudXNcs2kb2fMcBU6YWu
25.00
TMLpf..
conj_Diophantine_TMLpfn2NNouq2DMubezRJQqvDzvQFYGgMuu
25.00
TMW3A..
conj_CombUnif_TMW3ATgLYBsWBHPED8UkPCQ3bRkHYhbecER
25.00
TMZz8..
conj_Diophantine_TMZz8uMsj37uKCjqynxQd73UmqrDL5Hkcu7
25.00
TMVNd..
conj_HOUnif_TMVNdcN2NEezC8FbAMVuudt879UQCqwkCri
25.00
TMZMq..
conj_QBF_TMZMq5RphTykVxi9ciZjocNn7KwvTPQo6zy
25.00
TMddc..
conj_Diophantine_TMddcCfey8PQsDce1XCdpHWA72MvrVSmEf7
25.00
TMUAx..
conj_Diophantine_TMUAxQWkei7ZnHPZ6NvYAWiwnvJr3XSTLvt
25.00
TMWXe..
conj_HOUnif_TMWXeS19KGGycFnSarHJdtA1icp7n8hdsHy
25.00
TMKHx..
conj_CombUnif_TMKHxCwmjrakTdFfgYmAwXWA2HzmYAUy8Lm
25.00
TMFwt..
conj_DiophantineMod_TMFwtWswxEZExis8s8SfxXc8yURi5xb8kcH
25.00
TMbsX..
conj_CombUnif_TMbsXFZCQCM52XVvoTcJ6Qw6wCRnEUKX1k9
25.00
TMZ3a..
conj_AbstrHF_TMZ3aQSu4bjqGgpHctaoaJXEhZi6mbiq2AM
25.00
TMN7E..
conj_QBF_TMN7Eb9pUtpCgsUk9HsTN9BMeWgFKrHHNH3
25.00
TMcHY..
conj_AbstrHF_TMcHYzd9PcxkddMMCtyrCCam3sQPfzLT1N7
25.00
TMcek..
conj_Diophantine_TMcekPa5oRgvryXceRXMHmAT4y26WdU5yLK
25.00
TMaTZ..
conj_Random2_TMaTZuCoTx1hfdPahzXbWdvfDKa4LcwuhHF
25.00
TMGub..
conj_AbstrHF_TMGubrCSaDoqJ1otDuVp2pakbqaYYyJHdJq
25.00
TMTs6..
conj_HOUnif_TMTs6LFaf9EZQqAkNU3ZZJi89wmgm65GHmy
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