Search for blocks/addresses/...

Proofgold bounties

Description of bounties

Open bounties
TMGsi..Conj_mul_SNo_assoc_lem2__10__9 25.00
TMLux..Conj_mul_SNo_assoc_lem1__43__3 25.00
TMarr..Conj_mul_SNo_distrR__109__18 25.00
TMYNk..Conj_real_mul_SNo_pos__127__3 25.00
TMSJz..Conj_mul_SNo_Lt__23__10 25.00
TMYDa..Conj_add_SNo_Lt_subprop3d__2__4 25.00
TMF1G..Conj_mul_SNo_assoc_lem2__59__19 25.00
TMaLc..Conj_SNo_ordinal_ind__2__1 25.00
TMQLY..Conj_mul_SNo_Lt__61__14 25.00
TMTUL..Conj_mul_SNo_assoc_lem2__32__4 25.00
TMNC1..Conj_mul_SNo_assoc_lem2__39__13 25.00
TMVTH..Conj_real_mul_SNo_pos__15__5 25.00
TMS9Z..Conj_mul_SNo_distrR__126__9 25.00
TMWM3..Conj_mul_SNo_distrR__33__11 25.00
TMYdH..Conj_mul_SNo_eq_3__12__1 25.00
TMGiB..Conj_mul_SNo_prop_1__26__15 25.00
TMFy7..Conj_add_SNo_Lev_bd__17__7 25.00
TMKbV..Conj_mul_SNo_assoc_lem2__98__11 25.00
TMc44..Conj_minus_SNo_prop1__4__5 25.00
TMVXX..Conj_real_mul_SNo_pos__117__0 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