Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMHqe..
Conj_mul_SNo_assoc_lem1__4__8
25.00
TMUyu..
Conj_mul_SNo_distrR__47__17
25.00
TMPXP..
Conj_mul_SNo_prop_1__33__2
25.00
TMFaK..
Conj_mul_SNo_prop_1__86__11
25.00
TMKCe..
Conj_mul_SNo_SNoR_interpolate__3__8
25.00
TMMpG..
Conj_mul_SNo_prop_1__19__5
25.00
TMPsB..
Conj_mul_SNo_assoc_lem2__6__10
25.00
TMauM..
Conj_mul_SNo_eq__22__1
25.00
TMZW1..
Conj_SNo_approx_real__21__2
25.00
TMHX3..
Conj_real_mul_SNo_pos__35__9
25.00
TMKoY..
Conj_PNo_lenbdd_strict_imv_extend0__4__2
25.00
TMJLz..
Conj_mul_SNo_assoc_lem1__28__22
25.00
TMHb1..
Conj_mul_SNo_distrR__123__10
25.00
TMSJG..
Conj_mul_SNo_eq_3__8__12
25.00
TMdW3..
Conj_real_complete1__15__6
25.00
TMW5J..
Conj_mul_SNo_distrR__94__0
25.00
TMYuM..
Conj_mul_SNo_assoc_lem1__61__1
25.00
TMW1J..
Conj_add_SNo_assoc__6__7
25.00
TMUBB..
Conj_mul_SNo_prop_1__18__5
25.00
TMGxX..
Conj_mul_SNo_assoc_lem2__80__11
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