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
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_22not_TwoRamseyProp_3_7_22 300.00
8cad5.. 100.00
TwoRamseyProp_3_6_18TwoRamseyProp_3_6_18 800.00
09af7.. 500.00
867ba.. 100.00
8acb5.. 100.00

More recent collected