Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
2e708..
conj_DiophantineMod_TMMo8pBookoXEESiq2r3ZfkVrFWr7f2ZUHS
25.00
TMdvE..
conj_HOUnif_TMdvEX93x9PyT1U1fdGLoaeqt2JGHvBJQmD
25.00
TMaQo..
conj_HOSetConstr_TMaQoRGDpkekfGRr9XRjuGS5HFVu8NcS67L
25.00
8a17c..
25.00
66c66..
conj_AIM1_TMH78d8s9kXXCxFFuHhtdfMy477fgwH2NuN
26.00
c32a1..
conj_AIM1_TMbCXqGXuEDmoEiZtnRWxf69bFVEqPf8ZXi
26.00
6ad43..
conj_AIM2_TMQyXBNnBAJx7ybLKcEVTxX9niAZnahm8vo
26.00
88a27..
conj_AIM2_TMZDqYZrMa38Tho94LYfxeqgxbnagYoZ2GL
26.00
ef419..
conj_AIM2_TMTxtmRrTrMaL3PehaKWjhaZ4z4EgXWdrpg
26.00
e1165..
conj_AIM2_TMRkFPEtGx7yR6j844NQWvCkoJZEdHMyYsY
26.00
d928b..
conj_AIM1_TMbUvwriChgMTu3cMVGUyZtXgqxYa2WYxML
26.00
ef256..
conj_AIM2_TMPFkAf6BaS4h23HCCq5csdxBmVtfHzFxFq
26.00
3726f..
conj_AIM1_TMUqsnfURJNqZ7nDudpUYzYd5svkZCemGWs
26.00
5970e..
26.00
25797..
conj_AIM2_TMY5TViFFjTsiv6z2sPu7ordmYUeQYUZuV9
26.00
de6fb..
conj_AIM1_TMPCkosExTxE5qbvQgyvBnMo6FatG2pfeiH
26.00
7c98c..
conj_AIM2_TMEji1q5nfvMxBjNPHCGqYQC1yf8zypqci8
26.00
87c09..
conj_AIM2_TMV8C9ctD4cKy64X6q1zzzF6T8y4PRqnTbW
26.00
7313e..
26.00
d2bb7..
conj_AIM2_TMKhDsbL3QL2bPtNTEPVw7GE5nhP9nQE4Tq
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