全部搜索项
bookworm  ] [  trixie  ] [  sid  ]
[ 源代码: coqeal  ]

软件包:libcoq-coqeal(2.0.2-2 以及其他的)

libcoq-coqeal 的相关链接

Screenshot

Debian 的资源:

下载源码包 coqeal

维护小组:

外部的资源:

相似软件包:

algebra and data structure algorithms for Coq

This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework.

Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.

其他与 libcoq-coqeal 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 libcoq-coqeal

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
riscv64 2.0.2-2+b5 5,099.6 kB21,390.0 kB [文件列表]