Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
a10fd.. 26.00
d27e5..conj_AIM1_TMLqzCAyE6Kq9thHAswBv4jvaVcYxM87GGT 26.00
5a289..conj_AIM1_TMXuPSDnVrHGY49s6p3hgjW9c7Fn1caZpES 26.00
4e608..conj_AIM1_TMR7fraUQdusqjhEmsFkeHWmGegeRhrHpQq 26.00
34c8c..conj_AIM1_TMGMY8vf89bHpuVZmX9qD9ebJBSuao3Xr3B 26.00
50487..conj_AIM2_TMLV4PZrGTXhazg9KNCiLGGpmsT7gB1bpCD 26.00
TMTuH..conj_HOSetConstr_TMTuHoaZc2WyCb9fegGap3pDffefQsYofjW 25.00
TMWau..conj_Diophantine_TMWaukzuFRMjLDYihoZqmJR9rEnmxLzDJW9 25.00
TMSYm..conj_Diophantine_TMSYmC81FoNfxBWaRxksX3tZPeRRQQadzvH 25.00
TMLXM..conj_AbstrHF_TMLXMjxw1gHcyW8opMTFmF7kza4jZeQzikA 25.00
33f9b.. 25.00
6105a.. 25.00
TMT7e..conj_HOUnif_TMT7ee99P8k4fJ9i2CucunoG1DhJhvLALxs 25.00
38992..conj_AIM2_TMLTSqGJE1neBvLCiucjcYyzLP7FHsNBdH3 26.00
21f12..conj_AIM1_TMRVyedMrm1tTfdStzcA1LZfDzd9YYzGmAN 26.00
81d0a..conj_AIM1_TMGcnKbLaJr6T87MULKxPZVo68BsrtXPdt9 26.00
6427f..conj_AIM1_TMVes5S7C72D1ShRG97rEKZqouShNYaxXbY 26.00
3c713..conj_AIM2_TMbbapdPRqqWXnYXxbVs1KNak6LFFbpw6FV 26.00
9c7c8..conj_AIM1_TMXLavvGpF1zjYWnpVv2bjMouyQiXX96HRe 26.00
4fe84..conj_AIM2_TMG1mGBcwk3Fjf2kRwwNRbSRMFCw69mFdkz 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