全部搜尋項
[  trixie  ] [  sid  ]
[ 原始碼： mathcomp-analysis  ]

套件：libcoq-mathcomp-classical（1.1.0-2 以及其他的）

libcoq-mathcomp-classical 的相關連結

Screenshot

Debian 的資源：

下載原始碼套件 mathcomp-analysis：

維護小組：

外部的資源：

相似套件：

classical logic extension for Mathematical Components

This package provides an extension for work with classical logic within the Coq proof-assistant using the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

其他與 libcoq-mathcomp-classical 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 libcoq-mathcomp-classical

下載可用於所有硬體架構的
硬體架構 版本 套件大小 安裝後大小 檔案
amd64 1.1.0-2 2，566。1 kB10，852。0 kB [檔案列表]
arm64 1.1.0-2 2，552。7 kB10，852。0 kB [檔案列表]
armhf 1.0.0-1+b2 2，155。0 kB9，075。0 kB [檔案列表]
i386 1.1.0-2 2，547。2 kB10，831。0 kB [檔案列表]
ppc64 （非官方移植版） 0.6.4-3+b1 2，064。0 kB8，853。0 kB [檔案列表]
ppc64el 1.1.0-2 2，563。3 kB10，852。0 kB [檔案列表]
riscv64 1.1.0-2 2，549。0 kB10，852。0 kB [檔案列表]
s390x 1.0.0-1+b2 2，156。1 kB9，097。0 kB [檔案列表]