Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
97243..
conj_AIM1_TMEugwrMPhagmL2bFX9mbaR8WUJsepHbfk3
26.00
c181e..
conj_AIM2_TMYDVSTcSKvxmV3dUmE4qy86pBUvVQ94rFf
26.00
9334a..
conj_AIM2_TMPY16ErrEco3BDH6nfyUxifrEKSY6V5Ren
26.00
a15b9..
conj_AIM1_TMPj4jaN9MLuLD943uKGwd5FJpoNiPxN7xg
26.00
5557b..
conj_AIM1_TMWD94vShCdS5r1m7RajchJE867oYttiNv8
26.00
87ea9..
conj_AIM1_TMKvx7CexwV5cK2HsX2dVGPsFqFJsH1WKCJ
26.00
7a23b..
conj_AIM1_TMRJ9mPnxPnpP3PyiAtaRrsyRueikwKUqnu
26.00
1ba65..
conj_AIM1_TMSvBLEbsTZfT1ZcfPfpyPuhXzDjQJ6ymyA
26.00
9a776..
conj_AIM2_TMRnHpYkay4nnUE4aAQF9wCBa6J1aGeU3Hx
26.00
95adc..
conj_AIM1_TMUMFGEGuhzysv4ZK1ZRhrqsUZytEdVS7qD
26.00
248a7..
conj_AIM1_TMdQZk3nVWnnTY6yniZRtp2TY4tEC9E42hf
26.00
d4e85..
26.00
69ab3..
conj_AIM2_TMG3YGNuai7JrTzG1c2pRe7TzYeA2S8xFx2
26.00
972d8..
conj_AIM2_TMbnof1xrZJhSGREU6ZAXuhruhkK8uV6cse
26.00
d9c80..
conj_AIM2_TMbAPgcU2QMntqMPkycXhggBtkcQZ7ZKpY8
26.00
cd98d..
conj_AIM1_TMNuvhxBbiJ8dRKZF2mekbiDsHLnZLe4LPV
26.00
9a279..
conj_AIM1_TMYXqX5b2Rv4JrWpqsx8XdLVScK9Z5dJAke
26.00
27cf2..
25.00
TMLiR..
conj_Diophantine_TMLiRMqt4yLpuQF7NCcUGvrLkdrqDBNNwSr
25.00
TMZxs..
conj_DiophantineMod_TMZxssCvga35cuXC8MXJEqkZeP6joeNTKVk
25.00
More recent placed
Recently collected bounties
760b6..
MetaCat_struct_b_abelian_group_product_constr
100.00
05bdf..
MetaCat_struct_b_group_product_constr
100.00
183c5..
MetaCat_struct_b_semigroup_product_constr
100.00
64746..
MetaCat_struct_b_monoid_product_constr
100.00
9347c..
MetaCat_struct_b_semigroup_equalizer_constr
125.00
994bf..
MetaCat_struct_b_abelian_group_equalizer_constr
125.00
e6d9e..
MetaCat_struct_b_group_equalizer_constr
125.00
61ba2..
MetaCat_struct_b_semigroup_pullback_constr
250.00
42863..
MetaCat_struct_b_group_pullback_constr
250.00
e443a..
MetaCat_struct_b_abelian_group_pullback_constr
250.00
a69df..
MetaCat_struct_u_bij_left_adjoint_forgetful
750.00
34c67..
Conj_ctagged_eqE_Subq__1__1
25.00
6cfb5..
Conj_add_SNo_minus_SNo_linv__9__5
25.00
47fc9..
Conj_eps_ordsucc_half_add__7__0
25.00
6cf6d..
Conj_SNo_eta__5__1
25.00
a558a..
Conj_SNoL_1__1__0
25.00
5103b..
Conj_real_add_SNo__45__20
25.00
09057..
Conj_real_mul_SNo_pos__14__9
25.00
3aec6..
Conj_SNo_approx_real_rep__1__1
25.00
dd834..
Conj_ordinal_SNoR__1__0
25.00
More recent collected