[ Source: mathcomp-zify ]
Пакунок: libcoq-mathcomp-zify (1.5.0+2.0+8.16-2)
Links for libcoq-mathcomp-zify
Debian Resources:
Download Source Package mathcomp-zify:
- [mathcomp-zify_1.5.0+2.0+8.16-2.dsc]
- [mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz]
- [mathcomp-zify_1.5.0+2.0+8.16-2.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Micromega arithmetic solvers for Mathematical Components
This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic.
The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Інші пакунки пов'язані з libcoq-mathcomp-zify
|
|
|
|
-
- dep: libcoq-mathcomp-algebra-sczq8
- virtual package provided by libcoq-mathcomp-algebra
-
- sug: ocaml-findlib
- management tool for OCaml libraries
Завантажити libcoq-mathcomp-zify
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| amd64 | 241.3 kB | 1,330.0 kB | [список файлів] |