[ aramo ]
[ Quellcode: mathcomp-finmap ]
Paket: libcoq-mathcomp-finmap (1.5.1-1)
Links für libcoq-mathcomp-finmap
Trisquel-Ressourcen:
Quellcode-Paket mathcomp-finmap herunterladen:
- [mathcomp-finmap_1.5.1-1.dsc]
- [mathcomp-finmap_1.5.1.orig.tar.gz]
- [mathcomp-finmap_1.5.1-1.debian.tar.xz]
Betreuer:
Original Maintainers:
- Debian OCaml Maintainers (E-Mail-Archiv)
- Julien Puydt
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu 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)
libcoq-mathcomp-finmap herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 782,9 kB | 1775 kB | [Liste der Dateien] |