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
2167e..
Conj_SNoS_omega_diadic_rational_p_lem__10__10
25.00
cae12..
MetaCat_struct_u_idem_terminal
25.00
43061..
MetaCat_struct_b_monoid_initial
25.00
1451d..
MetaCat_struct_b_monoid_equalizer_constr
125.00
12c76..
MetaCat_struct_u_nno
250.00
8d752..
MetaCat_struct_u_idem_nno
250.00
cdd84..
MetaCat_struct_u_bij_nno
250.00
fc83d..
MetaCat_struct_u_inj_nno
250.00
f9bf8..
MetaCat_struct_b_monoid_pullback_constr
250.00
7f3dc..
MetaCat_struct_b_monoid_left_adjoint_forgetful
750.00
d71fb..
Conj_PNo_strict_imv_pred_eq__6__3
25.00
34bd0..
Conj_real_add_SNo__44__7
25.00
49f1d..
Conj_minus_SNo_Lev_lem1__22__2
25.00
3cff7..
Conj_mul_SNo_SNoR_interpolate__4__3
25.00
56dcc..
Conj_real_add_SNo__30__7
25.00
24d2c..
Conj_PigeonHole_nat__1__0
25.00
36a11..
Conj_mul_SNo_eq__19__0
25.00
79465..
Conj_SNo_etaE__5__1
25.00
3cff7..
Conj_mul_SNo_SNoR_interpolate__4__3
25.00
85918..
Conj_SNo_rec2_eq__1__1
25.00
More recent collected