Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMRvB..
Conj_pos_small_real_recip_ex__8__0
25.00
TMUUy..
Conj_mul_SNo_assoc_lem1__77__19
25.00
TMbud..
Conj_real_mul_SNo_pos__90__14
25.00
TMKiP..
Conj_SchroederBernstein__3__3
25.00
TMKFq..
Conj_finite_max_exists__3__1
25.00
TMQuA..
Conj_neg_mul_SNo_Lt__2__0
25.00
TMXv9..
Conj_mul_SNo_assoc_lem2__99__3
25.00
TMRE8..
Conj_real_add_SNo__22__8
25.00
TMa3h..
Conj_mul_SNo_assoc_lem1__13__12
25.00
TMcb5..
Conj_mul_SNo_minus_distrL__9__0
25.00
TMZ1C..
Conj_PNo_rel_imv_ex__62__6
25.00
TMFpD..
Conj_mul_SNo_assoc_lem2__74__16
25.00
TMHqv..
Conj_mul_SNo_assoc_lem2__40__14
25.00
TMR6L..
Conj_mul_SNo_Lt__24__9
25.00
TMRHy..
Conj_mul_SNo_assoc_lem2__5__26
25.00
TMTsY..
Conj_mul_SNo_distrR__112__16
25.00
TMTFZ..
Conj_mul_SNo_prop_1__51__2
25.00
TMV7C..
Conj_mul_SNo_diadic_rational_p__3__2
25.00
TMFpz..
Conj_mul_SNo_assoc_lem1__14__21
25.00
TMPE5..
Conj_SNoCutP_SNoCut__15__3
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