Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMcJ2..
Conj_mul_SNo_assoc_lem1__76__10
25.00
TMEyb..
Conj_PNo_rel_split_imv_imp_strict_imv__14__6
25.00
TMW2n..
Conj_add_SNo_Lev_bd__23__5
25.00
TMRXT..
Conj_mul_SNo_assoc_lem1__22__14
25.00
TMHtr..
Conj_real_Archimedean__8__2
25.00
TMHqD..
Conj_real_mul_SNo_pos__25__1
25.00
TMYoo..
Conj_mul_SNo_assoc_lem1__57__15
25.00
TMMwe..
Conj_mul_SNo_assoc_lem2__107__3
25.00
TMUY5..
Conj_mul_SNo_assoc_lem1__20__5
25.00
TMb8w..
Conj_mul_SNo_prop_1__43__9
25.00
TMNft..
Conj_mul_SNo_distrR__56__15
25.00
TMHv5..
Conj_mul_SNo_assoc_lem1__31__27
25.00
TMHEB..
Conj_mul_SNo_assoc_lem1__15__6
25.00
TMWJE..
Conj_SNo_approx_real__9__9
25.00
TMb4G..
Conj_mul_CSNo_distrL__2__0
25.00
TMK1x..
Conj_PNo_rel_split_imv_imp_strict_imv__15__6
25.00
TMGva..
Conj_mul_SNo_prop_1__7__11
25.00
TMTyW..
Conj_PNo_strict_upperbd_imp_rel_strict_upperbd__1__5
25.00
TMHLq..
Conj_real_mul_SNo_pos__39__9
25.00
TMdYr..
Conj_mul_SNo_distrR__20__1
25.00
More open bounties
Collected bounties
73a9e..
280.00
2b798..
280.00
16160..
280.00
cdb7b..
280.00
8f193..
280.00
5ccec..
280.00
e91a3..
280.00
fd582..
280.00
ff3aa..
280.00
939ca..
280.00
7fddd..
280.00
54bfa..
280.00
9e86e..
280.00
8f9d0..
280.00
41c8b..
280.00
eb8ae..
280.00
25211..
280.00
99b52..
280.00
ddb37..
280.00
2769a..
280.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88