Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
e009b..conj_AIM1_TMMhdr16nLvN3TMP5srBURuJatVJu3eurM9 26.00
d4c15..conj_AIM1_TMFw8qJVKr2e9kkJGB6BXAMRkYRntuk1f1p 26.00
f5ef7..conj_AIM1_TMH4D3ZqXKJwMf92fA891NvZUDHgquwHffE 26.00
c0b06..conj_AIM2_TMSkmrcYDU3cHDFoAS3NHFQqNn73dP1TyJk 26.00
4b15c.. 26.00
9a8cc..conj_AIM1_TMJsusEhwNWsaRE2MTs7Z2UV7iN9MGfqvGQ 26.00
6d102..conj_AIM1_TMJYZNCLsFwizzQyjpH1dNrtdiB8Mpzm21h 26.00
9224e..conj_AIM1_TMcszZ6SkyDUtib4SUzsoTziNBm91qDgmZw 26.00
ebddd.. 26.00
d1e32..conj_AIM2_TMdRJb3k6H9p3bQTtPhRcGL24kHd1K4rGJu 26.00
a48d1..conj_AIM2_TMNv3L6p1s6eknTrvDSb1eciD3nLtMgjvxT 26.00
47381..conj_AIM1_TMJqUaGJyZC2KoUYyihjhGah1sAZPzckBnG 26.00
256f7..conj_AIM2_TMF2eZ8yp2assDuyqeyispdKEmZLhFnju1h 26.00
53074..conj_AIM1_TMMcA4ahPh46m6RHxrtMCFtFmbGx1z4oQbk 26.00
ccbfa..conj_AIM2_TMVLBNTMHcBLpr1GgsZ769Ks5AXa5hW5cuA 26.00
4fbd1..conj_AIM2_TMRVgTB9RuQHXppzfisFksYxQtjW5ka22YY 26.00
299fb..conj_AIM2_TMXpZUhCLtd8qfaJVYbdcLWTjuKas8G9EHK 26.00
60575..conj_AIM2_TMPeEYeSTnNSB84rrM1KuYXCXuVqcjRQiqB 26.00
be5a8..conj_AIM1_TMSzRsqKz7h3eUVajwhw8XsNbCLhk6LDUzB 26.00
bb3a3..conj_AIM2_TMSKEL8njfgkL3UrV2YBqwNxPJZrr6TzRDo 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