Stop lying, there is no really working progPow miner.
Of course there is. Actually there are at least two (that I know of).
There's the "official" Bitcoin Interest (BCI) ProgPow miner and there's the version from TradeTec Miner as well (for nvidia).
Regardless of this, I'm sceptical that ETH will fork to ProgPow, considering all they seem to be interested in is to move to PoS...