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
1d8ba..
MetaCat_struct_r_equalizer_constr
125.00
1051b..
MetaCatSet_nno_gen_ex
250.00
bfc42..
MetaCatHFSet_pushout
250.00
e5b47..
MetaCatSet_subobject_classifier_gen_ex
250.00
15618..
MetaCatSet_pushout
250.00
833b6..
MetaCatSmallSet_nno
250.00
25c26..
MetaCatSet_subobject_classifier
250.00
a53be..
MetaCatSet_pullback_gen
250.00
341a1..
MetaCatHFSet_subobject_classifier
250.00
ebc63..
MetaCat_struct_p_nonempty_pullback_constr
250.00
596e3..
MetaCatSmallSet_pullback
250.00
fcaee..
MetaCatSet_pullback
250.00
bd9cd..
MetaCatSet_subobject_classifier_gen
250.00
7223a..
MetaCatSmallSet_subobject_classifier
250.00
44067..
MetaCat_struct_r_per_pullback_constr
250.00
97f16..
MetaCat_struct_r_pullback_constr
250.00
ea037..
MetaCatSet_nno_gen
250.00
2e08d..
MetaCatHFSet_pullback
250.00
8381c..
MetaCatSet_pushout_gen
250.00
8ba3f..
MetaCat_struct_p_pullback_constr
250.00
More recent collected