Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMasZ..
Conj_PNo_strict_upperbd_imp_rel_strict_upperbd__3__9
25.00
TMXCC..
Conj_add_SNo_Lev_bd__23__7
25.00
TMLW5..
Conj_mul_SNo_prop_1__29__23
25.00
TMUMA..
Conj_mul_SNo_assoc_lem2__77__18
25.00
TMLFU..
Conj_mul_SNo_eq__25__4
25.00
TMHaX..
Conj_real_add_SNo__33__11
25.00
TMUXj..
Conj_real_mul_SNo_pos__85__19
25.00
TMdbj..
Conj_mul_SNo_assoc_lem1__62__1
25.00
TMJPi..
Conj_real_mul_SNo_pos__46__18
25.00
TML7t..
Conj_mul_SNo_Lt__49__1
25.00
TMPXc..
Conj_mul_SNo_assoc_lem1__6__31
25.00
TMSnY..
Conj_mul_SNo_distrR__136__5
25.00
TMQW1..
Conj_real_mul_SNo_pos__116__5
25.00
TMNCz..
Conj_real_add_SNo__9__2
25.00
TMRof..
Conj_mul_SNo_assoc_lem1__33__4
25.00
TMSqY..
Conj_mul_SNo_assoc_lem1__3__38
25.00
TMTB4..
Conj_mul_SNo_assoc_lem2__15__29
25.00
TMRYe..
Conj_mul_SNo_assoc_lem2__95__8
25.00
TMbMi..
Conj_mul_SNo_assoc__5__23
25.00
TMXnp..
Conj_mul_SNo_prop_1__28__18
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