在Learning Ada的第 22.1 章中，尝试构建示例。
它期望安装 GNATprove。我使用的是 Ubuntu 18.04 LTS，但没有看到任何提供它的软件包。当我尝试查找主存储库时，我发现的只是Open Do中的内容，当我单击下载按钮时，它似乎是一个损坏的链接。Google 几乎没有提供有关 GNATprove 的信息，这有点令人担忧。
我是 Ada 新手，所以我真的不知道应该使用什么，所以如果 GNATprove 不正确，请告诉我。我通常也期望有一个免费的软件工具链——这是一个合理的期望还是我应该期望需要“专业”版本来了解 Ada/SPARK 的全部内容？