There is currently no way to see how much mining there is left to do, or how much total resources are in an asteroid.