prove xcode