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
6d32c.. 25.00
6b49e.. 25.00
6e02f.. 25.00
e63d5.. 25.00
4b38b.. 25.00
a5ac6.. 25.00
48260.. 25.00
9ae36.. 25.00
9a10f.. 25.00
feb6e.. 25.00
00038..conj_DiophantineMod_TMNJzeQJ3BqV3LKGkTYo8MuXpXhmbVgdH83 25.00
6457a.. 25.00
4a1e7.. 25.00
500fa.. 25.00
94218.. 25.00
07982.. 25.00
60fc8.. 25.00
04b5b.. 25.00
57503.. 25.00
ba301.. 25.00

More closed bounties

Open sum
308,364.07
Collected sum
209,545.88