Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
7111e..
conj_AIM2_TMTEyGXtwK3SxczztqbkiLdLtFJ6PWP4YYY
26.00
d3ef3..
conj_AIM1_TMXBjYTm5uouzGfMeSoV1wfNmdU49CxfSDp
26.00
510c1..
conj_AIM1_TMNQyuq1p1pNF9PiTWfLFFidA91tjv59bze
26.00
e9b72..
conj_AIM1_TMbkYL3WqSsjTKvsBG2UPEqnUwujpedLYPw
26.00
6931e..
conj_AIM1_TMYvKgv6QrcqfAwdS5W7jHJe5dsiuTAQSCA
26.00
fe62d..
conj_AIM2_TMKnZjddBtPJnPzJZpfgfw6HaB6sFyJmLFP
26.00
2c557..
conj_AIM1_TMPstQEiBTYy4GSqZqJfHbs7vPNosrXWSfo
26.00
3383c..
conj_AIM2_TMV8jJZfitJ9w1Kgj7N9pu5zzxSCQdVvxrC
26.00
97deb..
conj_AIM1_TMFg26qQYFJQNKGrt4KB53RTTxPSG3YQQt2
26.00
aacfc..
conj_AIM2_TMXs84DdWwnxooYzzVXTPjzqgrUiCbvW8qV
26.00
4bd21..
26.00
6160e..
conj_AIM1_TMQ5GQwY9Fqp39UgybPzVzwDEiwRKbdEHN7
26.00
68344..
26.00
df6a6..
conj_AIM1_TMNgQcwnQZStUv6egsK6xbpXBcij9pic2fv
26.00
9fd81..
conj_AIM2_TMbJ9GjBvy63HyteNnQ47Z169bgZMXwQark
26.00
0d600..
conj_AIM1_TMTagaNNEmN1BLtYD3g3Jw9jQ2gxMvWL3wC
26.00
9bd18..
conj_AIM2_TMT6sPkXq45sjXEpqDZVq6hGjxWxPYMVD5X
26.00
4c0df..
conj_AIM2_TMbxmw7vzosKaZcECL8dDGPsLvo5JxE1FUJ
26.00
2a159..
conj_AIM2_TMSv4ZLtoe2QRbrgaPWEhE7m51Bp8xQ5QU7
26.00
a8273..
conj_AIM2_TMGxd8PLXYSw4y3SbxvbCy3WqSJHkPSa1G7
26.00
More recent placed
Recently collected bounties
0e563..
MetaCatSet_nno
250.00
b3083..
MetaCatSmallSet_pushout
250.00
d1a34..
MetaCat_struct_r_partialord_pullback_constr
250.00
e7f7d..
MetaCat_struct_r_equivreln_pullback_constr
250.00
c2d12..
MetaCat_struct_r_graph_pullback_constr
250.00
4d1df..
MetaCat_struct_r_equivreln_product_constr
100.00
4f9ac..
MetaCat_struct_p_product_constr
100.00
45658..
MetaCat_struct_p_nonempty_product_constr
100.00
ece68..
MetaCat_struct_r_product_constr
100.00
b370d..
MetaCat_struct_r_per_product_constr
100.00
42715..
MetaCat_struct_r_partialord_product_constr
100.00
709ef..
MetaCat_struct_r_graph_product_constr
100.00
592be..
MetaCat_struct_p_product_exponent
250.00
37ab0..
MetaCatSet_product_exponent_gen_setprod_setexp
250.00
29786..
MetaCatHFSet_product_exponent
250.00
e25fa..
MetaCat_struct_p_nonempty_product_exponent
250.00
32b3d..
MetaCatSet_product_exponent_gen
250.00
1810c..
MetaCatSet_product_exponent
250.00
97ee8..
MetaCat_struct_r_per_product_exponent
250.00
7f417..
MetaCat_struct_r_product_exponent
250.00
More recent collected