Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMTP3..
Conj_real_complete1__3__3
25.00
TMQLi..
Conj_real_mul_SNo_pos__105__6
25.00
TMR3n..
Conj_mul_SNo_distrR__39__5
25.00
TMYjp..
Conj_mul_SNo_assoc_lem2__36__10
25.00
TMaJh..
Conj_SNoLtE__1__9
25.00
TMMx8..
Conj_real_mul_SNo_pos__107__16
25.00
TMRCi..
Conj_eps_SNoCut__5__2
25.00
TMWXK..
Conj_SNoS_omega_diadic_rational_p_lem__11__3
25.00
TMGmm..
Conj_minus_SNo_prop1__11__0
25.00
TMKxc..
Conj_mul_SNo_Lt__37__17
25.00
TMFV4..
Conj_mul_SNo_assoc_lem1__48__1
25.00
TMaJT..
Conj_PNo_rel_imv_ex__39__1
25.00
TMGs5..
Conj_mul_SNo_assoc_lem2__37__14
25.00
TMagM..
Conj_add_SNo_ordinal_SL__1__4
25.00
TMUEw..
Conj_mul_SNo_prop_1__98__11
25.00
TMW4e..
Conj_mul_SNo_assoc_lem2__42__18
25.00
TMGGJ..
Conj_mul_SNo_distrR__15__1
25.00
TMUvi..
Conj_mul_SNo_assoc_lem2__95__2
25.00
TMRS2..
Conj_SNo_approx_real_rep__11__3
25.00
TMXh7..
Conj_SNo_rec2_eq__4__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