使用Nix 安装. Created: November-22, 2018. 警告: 这不是安装Coq 的标准方法。 对于Linux(和MacOS)的用户,他们希望获得对Coq 的最新版本的访问权限,或者能够在 ...
確定! 回上一頁