Search for blocks/addresses/...
Proofgold bounties
Description of bounties
Open bounties
TMdDa..
Conj_real_mul_SNo_pos__42__3
25.00
TMN4m..
Conj_mul_SNo_assoc_lem2__73__10
25.00
TMR29..
Conj_mul_SNo_distrR__109__8
25.00
TMReD..
Conj_mul_SNo_distrR__32__16
25.00
TMV7a..
Conj_add_SNo_diadic_rational_p__1__8
25.00
TMV6X..
Conj_mul_SNo_distrR__132__16
25.00
TMQQ5..
Conj_mul_SNo_distrR__126__11
25.00
TMRif..
Conj_mul_SNo_prop_1__25__24
25.00
TMQsq..
Conj_mul_SNo_distrR__29__11
25.00
TMP2e..
Conj_mul_SNo_prop_1__78__0
25.00
TMKue..
Conj_mul_SNo_assoc_lem2__7__16
25.00
TMGVp..
Conj_mul_SNo_distrR__94__22
25.00
TMGdS..
Conj_PNoLt_trichotomy_or__6__2
25.00
TMYPt..
Conj_mul_SNo_assoc_lem1__18__24
25.00
TMZNu..
Conj_mul_SNo_prop_1__66__7
25.00
TMF4B..
Conj_mul_SNo_assoc_lem2__72__20
25.00
TMSNQ..
Conj_mul_SNo_assoc_lem1__4__18
25.00
TMNzt..
Conj_mul_SNo_assoc__5__19
25.00
TMMPD..
Conj_pos_small_real_recip_ex__17__1
25.00
TMFm6..
Conj_mul_SNo_assoc_lem1__54__20
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