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
1e52c..
conj_AIM1_TMJ6x4qymV9bU6vHmiv7wvcBxDKi5pjWFBQ
26.00
6c796..
26.00
dd2c3..
26.00
acbec..
conj_AIM1_TMbqmFcR6mjbhEj9FSk5rnRWpDWSyWDYypV
26.00
24e23..
26.00
08907..
conj_AIM1_TMXZ2KdpJ6kzM6jXiXg7i99pFhq7CGhK6v5
26.00
f5674..
26.00
48969..
conj_AIM1_TMSPEdP2SLFH6VZosPw2eR27NgccgMSQaHE
26.00
9c369..
26.00
bd2a8..
26.00
87c7d..
26.00
d04b2..
conj_AIM2_TMTgHW7YcF8pQikGrm4yauCLwoTmAsYhTMn
26.00
4bcbc..
26.00
809f2..
conj_AIM2_TMLwofVHi5ZzxxNG8GtAoDVd7L9TiARtGuU
26.00
77352..
26.00
d06dd..
26.00
79c01..
26.00
02ee4..
26.00
cb6d7..
conj_AIM2_TMVmW8xoa15TYddVKBwxWB7LckHsjp4yZ9g
26.00
88e75..
conj_AIM2_TMHPChFYGWVDhN51dwFHHeDEZ9ZHrbvgG5T
26.00
More closed bounties
Open sum
308,364.07
Collected sum
209,545.88