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
4bada.. 25.00
90805.. 25.00
e813a.. 25.00
12d7d.. 25.00
13211.. 25.00
59944.. 25.00
d72fb.. 25.00
4bb5c.. 25.00
9013d.. 25.00
3165c.. 25.00
1ed11.. 25.00
99807..conj_DiophantineMod_TMHX75k3mncdKg5XLAo542FzmLus4ASHzrs 25.00
67e67.. 25.00
fb5f8.. 25.00
28bf7.. 25.00
203b5.. 25.00
61438.. 25.00
b7dd5.. 25.00
81258.. 25.00
ecc9e.. 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88