Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TMU2V..
conj_Diophantine_TMU2VtJ5rvzeCQ9cdUypTZSYGeLm9Dj9Btz
25.00
11a9d..
25.00
TMWSV..
conj_Diophantine_TMWSVeLeoWAYwByE75YXv9Hzj4UCAfBAU2Q
25.00
TMPjX..
conj_AbstrHF_TMPjX7hFaPjbcqznm5PuccMDMpyvDBCSQ2z
25.00
TMLqH..
conj_Diophantine_TMLqH434RttPg892JP9X2uAkPg9o1ZijW3N
25.00
TMQt3..
conj_Diophantine_TMQt3QU6tnKTAKx1WbmE4cujszi5eNbwTam
25.00
35e2b..
25.00
5f782..
25.00
TMbvY..
conj_Diophantine_TMbvYQ3ibNqfBPY4o2xwS5Efj4w3QKyaDEy
25.00
TMEsw..
conj_AbstrHF_TMEswXexHDuzYejc2UdX6zDb8tDKopGLZWh
25.00
TMQEe..
conj_Random1_TMQEe9FjmdtA77CJm8oxVjytEWYiCJos42z
25.00
TMLRt..
conj_Diophantine_TMLRtg6iT96BHMVDVRUwwHLN9pJsbs8vuq8
25.00
TMV1d..
conj_AbstrHF_TMV1dJsWuxDRQx7yhnNq4shrepxnCm5Mfqw
25.00
0008e..
25.00
TMUjE..
conj_AbstrHF_TMUjENah9uQtGHEC8SehurKemd3pcXDxNmo
25.00
TMdoK..
conj_Random1_TMdoKBqRnr4o7BYZoP6j6d4JPMkydEKKA3F
25.00
TMZi7..
conj_QBF_TMZi7mcPtvMoPPfjnE5MVYgGiYyg7Qpo7Tu
25.00
d7022..
25.00
90f17..
25.00
aefa3..
25.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