Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
0a0e8..
conj_AIM1_TMSeAw4q5fPQEAuWck1QLXbzgRUr5sd2HHp
26.00
d56aa..
conj_AIM2_TMRvSN9r4NVT1uNFeFn1oLspYzsSuyKFAg5
26.00
46bb4..
conj_AIM2_TMRdfYgVU4r1WdUwh1eakv7HUhM5vY28Apr
26.00
cb6d7..
conj_AIM2_TMVmW8xoa15TYddVKBwxWB7LckHsjp4yZ9g
26.00
ea612..
conj_AIM2_TMKX1sE9vDZxJxJM42v4gzGbgit5Wm8UemZ
26.00
88e75..
conj_AIM2_TMHPChFYGWVDhN51dwFHHeDEZ9ZHrbvgG5T
26.00
6906c..
conj_AIM2_TMc9VCzBmpWviSnJrSzQ75hxknWbnSBJdXo
26.00
01745..
conj_AIM2_TMMcreFLNmoCwx29Lx1RSPoWRbCsvCE7cUH
26.00
29370..
conj_AIM1_TMLjXSogt3Z4zfBX1VbSutcrZhygQxW258w
26.00
068e3..
conj_AIM2_TMGRNbkTPH6A7QKNPEghVELGJ6qBoaCxe3s
26.00
06fb3..
conj_AIM1_TMaU5iJp3x61hDVyFqEz4b3nrjNUbWXwqP5
26.00
ee9c4..
conj_AIM2_TMbUYhwmAegzPLPEQR4HNjRXRdwqGQv8XYn
26.00
63cc3..
conj_AIM2_TMMpT2QAZjUAamRxyNQgKibNPLVWZphvcnY
26.00
a7f05..
conj_AIM1_TMXSpybcsLBmpPJbj3S4i6j78XXhhYusx3h
26.00
16979..
conj_AIM2_TMZc4X327RRQiqnC7jVoRF6j4GKFhPBjYrR
26.00
bdea3..
conj_AIM1_TMVNQ4nSk5qZjU2Fdkfx2oKQtZGT3TXySUW
26.00
5d182..
conj_AIM1_TMX9Zzn2ti8oFs1zLQpajjN84gKL4qVroCT
26.00
b05ed..
conj_AIM2_TMVm7vaehfgFsLvfL4HeJ6S3ga1Q5rxTAda
26.00
1245b..
conj_AIM1_TMY7uFaxmgWYNqKnDKLjnwrJnJoc6LcRkJt
26.00
3df9e..
conj_AIM2_TMTqERf8eZmJXLweyjuTSWFxXpcJeJwZqqe
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