[ aramo ]
[ Source: mathcomp-finmap ]
Package: libcoq-mathcomp-finmap (1.5.1-1)
Links for libcoq-mathcomp-finmap
Trisquel Resources:
Download Source Package mathcomp-finmap:
- [mathcomp-finmap_1.5.1-1.dsc]
- [mathcomp-finmap_1.5.1.orig.tar.gz]
- [mathcomp-finmap_1.5.1-1.debian.tar.xz]
Maintainer:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Julien Puydt
External Resources:
- Homepage [github.com]
Similar packages:
finite sets and maps extension for Mathematical Components
This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library.
The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Other Packages Related to libcoq-mathcomp-finmap
|
|
|
-
- dep: coq
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libcoq-mathcomp-ssreflect
- Mathematical Components library for Coq (small scale reflection)
Download libcoq-mathcomp-finmap
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 782.9 kB | 1775 kB | [list of files] |