Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
839ee..
conj_AIM2_TMNwaPx2ttejmm2yJWAYzgFuSCGurvKJKTu
26.00
05a87..
conj_AIM1_TMRZjnrAefUU9BpRre3JpFUrDqz92i2y8z8
26.00
56508..
conj_AIM1_TMUnJdznnNs95ih3dX6sATwDg4SqwjLMH3n
26.00
f66e4..
conj_AIM1_TMJEyfxtS3yceWU3fDEHPmZWWcC5Xvagw1D
26.00
fdfc4..
conj_AIM2_TMTCeGf3gwKqXEt86Qe1BecBMK1N1rHuXW8
26.00
9771b..
26.00
8b40f..
conj_AIM1_TMXbjduVe4za9styYSU4FGjYxjFtmj4HYzG
26.00
671ee..
conj_AIM1_TMJEDCszzwAzgWrBjNRgM5PkgSFmVcp5edQ
26.00
d3755..
conj_AIM2_TMQkTovoZsP6GiJSCuVasZfo7LTBNgTsSJG
26.00
114c9..
conj_AIM1_TMNMQtD6iUHkM6GXCCuAcXs8swhQDW3Gydp
26.00
17116..
conj_AIM1_TMGdFcyoiGhYW4wv75BG3EGfYRdaP7aoNNq
26.00
26923..
conj_AIM2_TMUargNduBL13RC7DGbKsRHjKBzCEk3wzhj
26.00
cddfb..
conj_AIM1_TMYfDkjat3Li6WxRHYsoTHoYNKPgU6khWqu
26.00
ab9ab..
conj_AIM1_TMXjcPKfh1316Vbxq56XUxhNiW9VPypEgNP
26.00
44236..
conj_AIM1_TMVphjrpncJgupDqBDpNMLcUHZw3zmvVM2G
26.00
cba64..
conj_AIM2_TMZ11gYeHtorbzDAFSdnhCdzDoSX8VxQuLw
26.00
decbb..
conj_AIM1_TMFPiiRhdun8VsUV2ek8EUEXNCPc8qwJX7x
26.00
27c04..
conj_AIM2_TMc7j7DLuZRhU8kVAPbjmgPBjTpn7wqaNnU
26.00
247b1..
conj_AIM2_TMXPoHRfaEGFdsEXiCQQ9DVmMnMdPbstN5S
26.00
35f0a..
conj_AIM2_TMPjTKsD5rcef21eY5KF461TiYa1rHZddVw
26.00
More recent placed
Recently collected bounties
5c476..
Conj_real_add_SNo__36__12
25.00
e0a4a..
Conj_minus_SNo_prop1__2__2
25.00
cf6dd..
Conj_minus_SNo_prop1__9__3
25.00
f2a7f..
MetaCat_struct_u_idem_product_constr
100.00
877ff..
MetaCat_struct_u_idem_equalizer_constr
125.00
5b67a..
MetaCat_struct_u_idem_pullback_constr
250.00
2fd91..
MetaCat_struct_u_idem_initial
25.00
ed3d2..
MetaCat_struct_u_left_adjoint_forgetful
750.00
8822b..
MetaCat_struct_u_inj_left_adjoint_forgetful
750.00
49304..
MetaCat_struct_u_idem_left_adjoint_forgetful
750.00
e92bb..
t10_sin_cos8
25.00
cc92e..
t13_arytm_3
25.00
cd3d8..
t5_radix_1
25.00
572d4..
Conj_ordinal_ordsucc_In_eq__1__1
25.00
not_TwoRamseyProp_3_7_22
not_TwoRamseyProp_3_7_22
300.00
8cad5..
100.00
TwoRamseyProp_3_6_18
TwoRamseyProp_3_6_18
800.00
09af7..
500.00
867ba..
100.00
8acb5..
100.00
More recent collected