fatal: unable to access 'https://github.com/strasdat/Sophus.git/': Could not resolve proxy: proxy.server.com

这个错误提示意味着 Git 在连接代理服务器时出现了问题。可能的原因包括代理服务器的地址或者端口设置不正确，或者网络连接不畅。您可以尝试以下几种解决方法：

1. 检查代理服务器的地址和端口号是否正确。您可以尝试使用其他工具连接代理服务器，例如 curl 或者 telnet，来确认代理服务器的地址和端口号是否正确。

2. 检查网络连接是否正常。您可以尝试使用其他工具连接互联网，例如 ping 或者 traceroute，来确认网络连接是否正常。

3. 检查 Git 的代理设置是否正确。您可以使用以下命令查看 Git 的代理设置：

   git config --global --get http.proxy
   git config --global --get https.proxy

如果代理设置不正确，您可以使用以下命令修改代理设置：

   git config --global http.proxy http://proxy.server.com:port
   git config --global https.proxy https://proxy.server.com:port

其中，`proxy.server.com` 是代理服务器的地址，`port` 是代理服务器的端口号。

4. 如果您无法解决问题，可以联系您的网络管理员或者代理服务器提供商，寻求帮助。

希望这些方法能帮助您解决问题。