Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
e3325..conj_AIM1_TMNADdK4YSgXmYmBBigtqd5B1LZD9Wpbe7z 26.00
5c892..conj_AIM2_TMYRbf449F7sBaVRZtUcgjb1U4niPb3oHP3 26.00
13d02..conj_AIM2_TMLZc5evLdACv9pp755e9DzvhQPT2S8bo7H 26.00
9307a..conj_AIM2_TMJ6xdVJrmMwxAGZk53NSxLJWbAgpFbXSgK 26.00
8e809..conj_AIM2_TMLCybfq5zFx1p8oAgstdQPVKL3CgmCB3MF 26.00
7dd8c..conj_AIM2_TMHi8Hi3e4xFxx5XPNv3UpiQXDAMb968uAk 26.00
458fd..conj_AIM2_TMPYXQBuErdLWq2eRb2o5aHgttanvJPXqJw 26.00
a5612..conj_AIM1_TMUTucKvJThGckSXekrnSj6LZsqYJwCsbXJ 26.00
5300d..conj_AIM1_TMZvzpYVrzUj4xPV9pMcQCv7KrMvdUUSAUz 26.00
3b3cd..conj_AIM2_TMaQPj85fAZVZxAhpSPoYxithFVGTdE3fnR 26.00
27a32..conj_AIM1_TMLDjmJppvatASQxvJY27gTwKuLepZ2Fzdk 26.00
cd533..conj_AIM1_TMZMd5KjzuNj3ELNLyJWuSioBFoYWgPZo1i 26.00
99f05..conj_AIM2_TMWKeUz6iDxwhWxTetLCdJZGhDSt6hBER8Z 26.00
a743b..conj_AIM1_TMQr6hXzLLcD8vs9YNbvx1wDkrKtJzwnXH3 26.00
abccf..conj_AIM1_TMTGS372jyNznLbLjREeXjRAPS9apg2Lktz 26.00
ba82e..conj_AIM1_TMKNMLrFCwBGadC4mLJ3AMZMpfCLe7R5VvH 26.00
ab97a..conj_AIM1_TMHcgUFgguS1fvkQQBM5x4AijVtcfyRgkeX 26.00
5fcf4..conj_AIM2_TMWRCz9KWAYBE4dqBpxmLntBwsq79Uq2o9K 26.00
9f431..conj_AIM1_TMPX8JN9RmAoFzGguQmFW5JpENALtBzrWrr 26.00
90fef..conj_AIM2_TMZdpfqJP3nzdDxPRKeVaFU4KxyWrRxr5pL 26.00

More recent placed

Recently collected bounties
ebfe1..MetaCat_struct_r_ord_coproduct_constr 100.00
17458..MetaCat_struct_r_wellord_coproduct_constr 100.00
788ee..MetaCat_struct_r_ord_equalizer_constr 125.00
d27a8..MetaCat_struct_r_wellord_equalizer_constr 125.00
10b92..MetaCat_struct_r_wellord_coequalizer_constr 125.00
df039..MetaCat_struct_r_ord_coequalizer_constr 125.00
d6d09..MetaCat_struct_r_wellord_nno 250.00
1f2a9..MetaFunctor_struct_e_struct_p_nonempty 250.00
568d6..MetaCat_struct_r_ord_subobject_classifier 250.00
1a527..MetaCat_struct_r_ord_nno 250.00
d432e..MetaCat_struct_r_ord_product_exponent 250.00
9460d..MetaCat_struct_r_wellord_product_exponent 250.00
95edd..MetaCat_struct_r_ord_pullback_constr 250.00
d4e5c..MetaCat_struct_r_wellord_pushout_constr 250.00
ee3b3..MetaCat_struct_r_wellord_pullback_constr 250.00
e5c69..MetaCat_struct_r_ord_pushout_constr 250.00
d2cf4..MetaCat_struct_r_wellord_subobject_classifier 250.00
301a5..MetaCat_struct_r_left_adjoint_forgetful 750.00
c3ca2..MetaCat_struct_p_left_adjoint_forgetful 750.00
80d3d..MetaCat_struct_r_equivreln_left_adjoint_forgetful 750.00

More recent collected