Comment by reitzensteinm

I think you're vastly overestimating how much area would be available in a farm built into an old quarry.

A 4km by 1km parcel of land is not large for farming. But put vertically, it represents the biggest open cut mines ever made.