Dev: If you want your coin to be mined, you need to add it to a decent exchange:

Abucoins, Bitfinex, Bittrex, Binance, Cryptopia, HitBTC, Poloniex or YoBit will get you listed on most mining sites, including whattomine.com which is where most professional miners get their info from