» Ubuntu » 套件 » bionic (18.04LTS) » math » why3-coq
bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ 原始碼: why3  ]

套件: why3-coq (0.88.3-1ubuntu4) [universe]

why3-coq 的相關超連結

Screenshot

Ubuntu 的資源:

下載原始碼套件 why3

維護者:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

外部的資源:

相似套件:

Coq support for the why3 verification platform

其他與 why3-coq 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances
  • rec: why3
    Software verification platform

下載 why3-coq

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 2,062.7 kB10,187.0 kB [文件列表]
arm64 2,541.6 kB12,788.0 kB [文件列表]
armhf 1,971.0 kB7,601.0 kB [文件列表]
i386 1,856.3 kB8,416.0 kB [文件列表]
ppc64el 2,168.2 kB11,274.0 kB [文件列表]
s390x 2,104.6 kB11,146.0 kB [文件列表]