Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMLrg..
Conj_real_mul_SNo_pos__87__14
25.00
TMLhV..
Conj_mul_SNo_eq_3__15__4
25.00
TMN9n..
Conj_mul_SNo_assoc_lem2__97__24
25.00
TMaKC..
Conj_mul_SNo_assoc_lem1__75__9
25.00
TMJim..
Conj_ordinal_famunion__2__0
25.00
TMJBV..
Conj_mul_SNo_distrR__27__13
25.00
TMaBT..
Conj_real_mul_SNo_pos__2__22
25.00
TMWNj..
Conj_mul_SNo_distrR__56__5
25.00
TMYzh..
Conj_mul_SNo_Lt__33__21
25.00
TMMkV..
Conj_nat_setsum1_ordsucc__1__0
25.00
TMX4a..
Conj_mul_SNo_assoc_lem1__59__7
25.00
TMPU9..
Conj_mul_SNo_distrR__85__18
25.00
TMGyw..
Conj_real_mul_SNo_pos__100__13
25.00
TMUPB..
Conj_mul_SNo_distrR__74__5
25.00
TMRAz..
Conj_mul_SNo_assoc_lem2__60__9
25.00
TMXud..
Conj_double_SNo_min_1__5__6
25.00
TMHTn..
Conj_mul_SNo_SNoL_interpolate__3__2
25.00
TMRCk..
Conj_mul_SNo_distrR__73__19
25.00
TMaV2..
Conj_mul_SNo_assoc_lem2__9__6
25.00
TMJh7..
Conj_mul_SNo_distrR__81__19
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