Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMaTF..Conj_add_SNo_ordinal_SL__1__0 25.00
TMMbG..Conj_mul_SNo_eq_3__13__5 25.00
TMWka..Conj_mul_SNo_distrR__77__13 25.00
TMSbJ..Conj_mul_SNo_assoc_lem2__18__13 25.00
TMSdX..Conj_mul_SNo_SNoR_interpolate__6__4 25.00
TMHbi..Conj_SNo_approx_real__28__6 25.00
TMU8t..Conj_SNoCutP_SNoCut__34__2 25.00
TMH5G..Conj_mul_SNo_Lt__31__9 25.00
TMPYW..Conj_mul_SNo_assoc_lem2__105__3 25.00
TMJpq..Conj_mul_SNo_distrR__70__20 25.00
TMYak..Conj_mul_SNo_distrR__100__6 25.00
TMYuB..Conj_mul_SNo_assoc_lem2__105__5 25.00
TMWAK..Conj_mul_SNo_assoc_lem1__37__11 25.00
TMUHG..Conj_mul_SNo_distrR__67__23 25.00
TMMcV..Conj_mul_SNo_Lt__49__12 25.00
TMH8o..Conj_mul_SNo_minus_distrL__22__7 25.00
TMbd3..Conj_mul_SNo_assoc_lem2__6__13 25.00
TMX6r..Conj_add_SNo_com__9__0 25.00
TMcSy..Conj_add_SNo_diadic_rational_p__5__6 25.00
TMciS..Conj_mul_SNo_assoc__1__25 25.00

More open bounties
Collected bounties
b1974.. 280.00
5581c.. 280.00
392b8.. 280.00
c08e5.. 280.00
0bb13.. 280.00
f6311.. 280.00
6ae76.. 280.00
f3acb.. 280.00
9e9e8.. 280.00
c7a39.. 280.00
06930.. 280.00
17d02.. 280.00
94244.. 280.00
57aa9.. 280.00
4b79b.. 280.00
cc4cd.. 280.00
553e0.. 280.00
211c6.. 280.00
6e6dc.. 280.00
025bf.. 280.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88