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
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