Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMJj8..
Conj_mul_SNo_prop_1__6__1
25.00
TMakx..
Conj_mul_SNo_assoc_lem2__91__7
25.00
TMcM4..
Conj_mul_SNo_assoc_lem1__29__14
25.00
TMK9X..
Conj_SNoS_omega_Lev_equip__16__4
25.00
TMSzr..
Conj_real_complete1__13__7
25.00
TMGiW..
Conj_add_SNo_prop1__5__13
25.00
TMMyK..
Conj_mul_SNo_eq_3__13__14
25.00
TMUyZ..
Conj_real_mul_SNo_pos__111__23
25.00
TMbVK..
Conj_real_mul_SNo_pos__30__12
25.00
TMX8W..
Conj_CSNo_relative_recip__5__2
25.00
TMG2r..
Conj_mul_SNo_prop_1__55__1
25.00
TMN8m..
Conj_PNo_lenbdd_strict_imv_extend0__10__0
25.00
TMKQ7..
Conj_mul_SNo_assoc_lem1__59__18
25.00
TMLKq..
Conj_mul_SNo_distrR__42__19
25.00
TMdn7..
Conj_mul_SNo_distrR__68__11
25.00
TMYuM..
Conj_add_SNo_Lev_bd__38__0
25.00
TMZ4K..
Conj_PNo_rel_imv_ex__19__3
25.00
TMNZs..
Conj_mul_SNo_assoc_lem1__54__13
25.00
TMF62..
Conj_real_mul_SNo_pos__88__10
25.00
TMVJU..
Conj_add_SNo_SNoR_interpolate__1__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