Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMJGo..
Conj_mul_SNo_assoc_lem1__60__6
25.00
TMdr8..
Conj_mul_SNo_distrR__115__15
25.00
TMcBE..
Conj_SNo_approx_real__14__10
25.00
TMHfk..
Conj_real_add_SNo__23__0
25.00
TMUWS..
Conj_real_mul_SNo_pos__5__21
25.00
TMTCB..
Conj_add_SNo_minus_SNo_linv__8__6
25.00
TMSVU..
Conj_SNo_etaE__7__0
25.00
TMK6m..
Conj_mul_SNo_assoc_lem2__32__21
25.00
TMWSV..
Conj_minus_SNo_diadic_rational_p__3__0
25.00
TMZHc..
Conj_pos_small_real_recip_ex__24__3
25.00
TMdPt..
Conj_mul_SNo_assoc_lem2__19__11
25.00
TMaW8..
Conj_SNo_foil_mm__1__1
25.00
TMTkW..
Conj_mul_SNo_distrR__75__5
25.00
TMTSV..
Conj_add_SNo_Lev_bd__34__6
25.00
TMWEe..
Conj_mul_SNo_assoc_lem2__64__4
25.00
TMS11..
Conj_mul_SNo_distrR__40__24
25.00
TMMYe..
Conj_mul_SNo_eq__16__1
25.00
TMPWa..
Conj_pos_small_real_recip_ex__24__8
25.00
TMYhm..
Conj_real_add_SNo__32__17
25.00
TMFqs..
Conj_mul_SNo_distrR__130__13
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