Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMLBM..
Conj_SNoS_omega_diadic_rational_p_lem__3__1
25.00
TMbCv..
Conj_SNoS_omega_Lev_equip__22__1
25.00
TMXsW..
Conj_add_SNo_assoc__7__3
25.00
TMJxr..
Conj_mul_SNo_assoc_lem2__96__20
25.00
TMdgd..
Conj_mul_SNo_assoc_lem2__4__11
25.00
TMVRF..
Conj_real_mul_SNo_pos__114__6
25.00
TMQ2F..
Conj_add_SNo_prop1__8__10
25.00
TMLq6..
Conj_real_mul_SNo_pos__115__11
25.00
TMYao..
Conj_real_mul_SNo_pos__84__2
25.00
TMXFq..
Conj_SNoS_omega_real__2__0
25.00
TMbsK..
Conj_PNoLt_tra__2__12
25.00
TMFZ6..
Conj_real_add_SNo__25__18
25.00
TMYoV..
Conj_mul_SNo_distrR__132__4
25.00
TMGmF..
Conj_mul_SNo_distrR__58__19
25.00
TMRTw..
Conj_mul_SNo_eq_3__14__2
25.00
TMPqS..
Conj_SNo_approx_real__4__12
25.00
TMbQw..
Conj_mul_SNo_assoc_lem1__19__13
25.00
TMUWb..
Conj_add_SNo_prop1__28__1
25.00
TMSwH..
Conj_mul_SNo_assoc_lem2__2__20
25.00
TMNNj..
Conj_mul_SNo_assoc_lem1__50__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